Change default option of simple ite lifting within quantifier bodies.  add some debug messages.
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.