Show bigger range in proof sizes plot.
Small improvements.
Cleanup, size of polynomials, mechanically generated proof.