merged BV tests in tests/test_bv.ml