v1.0.0-alpha.23

Highlights:

• sumcheck prover update to build h1(x) without fixed MLEs at r0 from the first round, including reduced-peak-memory flow changes
• optional parallelism dependency migration from rayon to plonky3 maybe-rayon across core crates
• new sumcheck memory benchmark coverage and related test updates

Included commits:

• feat(sumcheck): build h1(x) without fix mles at r0 from first round (#29)
• feat: using plonky3 maybe-rayon instead of rayon for optional parallelism (#8)
• copilot review instruction (#35)
• [ci] add no-edit in custom-review plan (#36)