opt(avm): efficiently evaluate public inputs column in verifier

[Maddiaa0]

Overview

At the moment we evaluate each public inputs column over the entire circuit size domain - this is extremely inefficient, by using another evaluation format we may be able to calculate the evaluations more cheaply.

[jeanmon]

This issue #8651 will fold over much smaller dimensions and allocate much shorter polynomials.