Implemented SVAR coverage

Added SVAR coverage to the test framework (kind of hacky, unfortunately
:P)
Added a checkState method to the THTest class so users can specify the
expected conditions for the program.
Added some more print statements for output.