Reduce degree of sum-check round polynomials

[Al-Kindi-0]

Implements the optimization in Section 3.3 here. Benchmarks show about 20% improvement in sum-check proving times.