Operation BitVecAnd July 1, 2026 BitVecNot July 1, 2026 BitVecOr July 1, 2026 BitVecShiftLeft July 1, 2026 BitVecShiftRight July 1, 2026 BitVecXor July 1, 2026