Improve BitVector take++drop property test