After doing this, we can switch BytecodeGenerator::m_controlFlowScopeStack back to doing overflow checks with UnsafeVectorOverflow.