redex: add #:pre to define-judgment-form

also, update contract error messages for the same