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.
Added generic mechanism for easy to write terminal contracts.
Made reasons get passed through and re-add a failing test.
Made error messages better for contract generation failures.