Add travis.yml for travis-ci config
Add check framework, begin moving tests to check framework
Add macro guards and other cleanup
Fix tests, fix a few bugs tests uncovered
Fix subtraction, add tests for it