Most BitVector tests passing