fixed couple of more warnings
Fix for --force-logic to extend its reach to the parser.
Mostly resolves bug #561 memory leaks, and more.
Fix for (user) context-dependence of arith TO_INT/IS_INT rewriting and rewrite-divk.
Fix simplify output for SMT2 printer.
Fix compiler warning re: TheoryUF destructor.
Fix warnings, cleanup in strings typechecker.