added bv algebraic solver heuristic based on bb size
first implementation of bv quickxplain