Refactor FRI verifier to process all queries together

[ValarDragon]

The FRI verifier currently processes each query independently. We should refactor the FRI verifier to process all the queries together, and instead proceed in a round-by-round fashion. Refactoring this amounts to changing the order of the for loops in the existing implementation.

Doing this refactor will allow for batch inversion. Currently the FRI verifier inversions take ~50% of the non-recursive Fractal verifier time, and using batch inversion should reduce the number of inversions by around 30x.