new version of bvToBool; substituting variables with constant bits; multiplication rewrite rule checking for leading 0s
Merge branch 'bit-vectors' of https://github.com/lianah/CVC4 into bit-vectors