Make evaluator a separate file.
Clean up infer-tests.
Small style changes and removal of dead code.
Removal of define-go.
Remove unecessary lambda wrapper around test suites.
Make typechecking do the standard inits.
Make special env typecheck tests not run the code at module initialization.
Making test suite files all have the same exported name.

This simplifies all-tests because it can treat each set of test case
files as the same.
Make test files have mains that run the test case defined in them.
Make expansion be marked in rackunit output.

This is used in error messages for better debugging.
Fixup broken tests and add missing gen-test-main.
Put static contracts in main repo.
Moved static-contract tests to TR test directory.
Make version of TR that builds new contracts.
Enable static contract optimization.
Move contract conversion into the old file.
Add README.
Make static channel contracts.
Make parse type and type annotation tests run at the right phase.