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.
Update copyrights, fix public/private markings.
minor comment fixes
remove EXTRACT_OP as a special-case in typechecker