[sanitizer] optimize TwoLevelBitVector::intersectsWith, extend tests, fix a check