Added the TR benchmark.

Measures typechecking time for a large file.

Has frozen version of TR with internal contracts enabled.