Shift BitVecInsert July 1, 2026 BitVecRemove July 1, 2026 BitVecShiftLeft July 1, 2026 BitVecShiftRight July 1, 2026