Some refactoring

Small shortenings here and there
You don't need the with-handlers and the fail-check, you can just do this:
```racket
(define-check (check-exn-contract thunk)
  (check-exn exn:fail:contract? thunk))
```