Missing feeding evaluations into the transcript output by sumcheck protocol

[dreamATD]

Description

In GKR IOP protocol, at the last step of proving each layer, the prover generates a list of MLE claims, which help the verifier verify the equation. They should be fed into the transcript, but currently, those are missing, including:
https://github.com/scroll-tech/ceno/blob/master/gkr_iop/src/gkr/layer/cpu/mod.rs#L56
https://github.com/scroll-tech/ceno/blob/master/gkr_iop/src/gkr/layer/cpu/mod.rs#L98
https://github.com/scroll-tech/ceno/blob/master/gkr_iop/src/gkr/layer/cpu/mod.rs#L264
https://github.com/scroll-tech/ceno/blob/master/gkr_iop/src/gkr/layer/cpu/mod.rs#L360

https://github.com/scroll-tech/ceno/blob/master/ceno_zkvm/src/scheme/cpu/mod.rs#L231
https://github.com/scroll-tech/ceno/blob/master/ceno_zkvm/src/scheme/cpu/mod.rs#L466

and their corresponding version in the verifier and GPU implementation.