fix: handle panics for bit_vector#2334

Marsman1996 wants to merge 1 commit into

verus-lang:mainverus-lang/verus:mainfrom

Marsman1996:fix-bitvectorMarsman1996/verus:fix-bitvectorCopy head branch name to clipboard