Fix `evaluator.rkt` to work with `dynamic-require`.
Add test that runs TR unit tests with contracts on.