pub fn assert_or_assign_connector_pvs<C: Config>( builder: &mut Builder<C>, dst: &VmConnectorPvs<Felt<C::F>>, proof_idx: RVar<C::N>, proof_pvs: &VmConnectorPvs<Felt<C::F>>, )