Check BitVecAll July 1, 2026 BitVecAny July 1, 2026 BitVecEmpty July 1, 2026 BitVecIsSorted July 1, 2026 BitVecNone July 1, 2026