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