Testing for `check`

- Add test cases for what happens on errors...
  - During a check block
  - During a call to the check library
- Report check library exceptions and check block exceptions differently
- Clear out test results before running each program (may need to change if
  we extend to cross-module check blocks)
- Add a tester that allows us to inspect standard output