Function assert_or_assign_app_and_leaf_commit_pvs

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