Fix (extraneous) command dumping.
Fixes to theoryof-mode; no longer static in Theory class.
Support for bv2nat/int2bv in parser and BV rewriter.