Add support for check-sat with argument.
Documentation fixes, some code typo fixes, file perms, other minor things.
Move some regress benchmarks around that took too long, other test cleanup.
Fix sat_proof "parentheses into the void" after conferring with Liana.
Some (very) minor code clean up.
Rename {model,util_model}.{h,cpp} files to match class names.
Fix alreadyVisited() issue in TheoryEngine.
Add a checkTimer for arithmetic.
Remove spurious Message that causes compliance issues.