Drop in Efficient Sumcheck

[z-tech]

Avx-512

size	field	whir baseline	whir + effsc	speedup
2^20	Goldilocks	5.213 ms	2.712 ms	1.92×
2^20	Goldilocks²	8.565 ms	5.304 ms	1.61×
2^20	Goldilocks³	13.29 ms	9.256 ms	1.44×
2^24	Goldilocks	30.05 ms	26.10 ms	1.15×
2^24	Goldilocks²	72.88 ms	72.83 ms	~tie
2^24	Goldilocks³	130.2 ms	121.3 ms	1.07×

[codspeed-hq]

Merging this PR will not alter performance

✅ 7 untouched benchmarks
⏩ 25 skipped benchmarks¹

---

_{Comparing z-tech:z-tech/efficient_sumcheck (a19190b) with smallfp-goldilocks (48c7c8e)}

Footnotes

1. 25 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

[z-tech]

This is to test that the library handles non powers of 2 correctly. It's only needed for the test.