update mzlib contract test suite to recent changes to racket/contract