Fixed various issues in new BitVector impl and added stronger scalacheck tests