Remove registry box from optimizer tests.
Make optimizer tests work without writing out files.
Share typed-racket instantiation across different runs of the optimizer.
Make optimizer tests worker better with failures.
Change tc-exprs to tc-body.
Make parse-type-tests work even if the typecheck-tests are not run.
Added #%expression to inst to order it correctly with ann.
Add real test for check-type and remove unit tests.