bv algebraic solver bug fixing (passes regressions)
added heuristic for turning bv algebraic solver off