more new contract test suite cleanups
fix stronger for ->* when there are #:pre and #:post conditions specified