Added "write_smt2 -bv" and other write_smt2 improvements
Added support for most BV cell types to write_smt2