pub fn assert_required_air_for_agg_vm_present<C: Config>( builder: &mut Builder<C>, proof: &StarkProofVariable<C>, )