Shift BitVecInsert June 2, 2026 BitVecRemove June 2, 2026 BitVecShiftLeft June 2, 2026 BitVecShiftRight June 2, 2026