Fix simplify output for SMT2 printer.
Fix compiler warning re: TheoryUF destructor.