Accommodate MathSAT5 quirk

MathSAT5 does not reset terms when msat_reset_env(msat_env) is called.
This meant that a few test cases had to be slightly re-adjusted.
Add basic bit-vector support