Function verify

pub fn verify<F, Transcript>(
    oracles: &mut MultilinearOracleSet<F>,
    claims: impl IntoIterator<Item = EvalcheckMultilinearClaim<F>>,
    proof: GreedyEvalcheckProof<F>,
    transcript: &mut Transcript,
    advice: &mut AdviceReader,
) -> Result<Vec<(BatchId, SameQueryPcsClaim<F>)>, Error>
where
    F: TowerField,
    Transcript: CanObserve<F> + CanSample<F> + CanRead,