Remove the need for constant Honk proof sizes?

[ledwards2225]

Undo the constant Honk proof size work.

The logic of the Honk provers/verifiers was updated in this PR to produce constant proof sizes and constant sized recursive verifiers. This was done to make life easier during the full e2e test integration of Honk/ClientIvc. This should be undone as it leads to unnecessarily large proofs and recursive verifier circuits.