Remove unnecessary printing parameter in TR

Pretty printing makes this unnecessary
Fix printer tests when run individually

These tests worked in the harness but broke when run
outside of the harness.
Replace `chomp` with `string-trim`, delete former
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 contracts for channels.
Add a bunch of documentation to static contracts.
Remove/disable broken tests.
Make many more static contract optimizer tests and add some more optimizations.
Make optimize for static contracts have saner interface.
Make tests more standardized.
Add more static contract tests.
Remove unsound optimizations.
Make simple static contracts not combinators.
Sorta working new lengths.
Added terminal sc contracts, and made optimizer use them.