batch all chips' main sumcheck together #1269
Description
Summary
In order to batch each chip's main sumcheck together,
- we have to reduce the peak memory in our current sumcheck prover (avoid caching 1st round evaluations in sumcheck prover #1274) since we need to store all trace matrices for later PCS opening and we need to store the intermediate evaluations during the sumcheck prover's running time.