Test case generation example from Mike Whalen
Catch all throwables from individual processes
Update todo list
Use BigInteger as needed
Ensure solvers are stopped when no longer needed
Code clean up
Update version number
Mention yices version requirement
Clean up solver termination
Fix bug in dependencies for assertions
Name shutdown thread
Fix another dependency bug for assertions
Use graph based representation for boolean invariants
Mode logic examples from NASA case study
Code clean up
Create Specification object to hold cached information about the main node
Ignore combinatorial variables in invariant generation based on discussion with Mike Whalen
Increase version number
Incremental invariant generation

This could be improved by checking for duplicate invariants before
sending them to the inductive process. However, in practice I've found
that the first round of invariants is the only one that matters.
Performance improvements to incremental invariant generation