better Mask.setval(BitVector) implementation