Enhanced output
Fixed bug that limited search results. Timeout flag enforced.

Fixing the bug hits performance where integer theory is used.  Many more
expressions are added. However, more VC's are able to be proven.
Fixed bug that limited search results.  Enforcing timeout (default 2 seconds)

Reformatted.
Merge pull request #120 from mikekab/CongruenceClassPackageBranch

Fixed bug that limited search results.  Timeout flag enforced.