Add aggregation to merge/decider/translator recursive verifiers

[lucasxia01]

This would involve modifying the verify_proof interfaces to take in an aggregation object and aggregating the pairing points from KZG.

The tube circuit would then have proper aggregation. (but that's set to change with much of the tube circuit going to Noir?)

[codygunton]

Maybe none of this needs to be done except for the merge part, which needs to be handled through folding because we don't have a proof of correctness otherwise.

[codygunton]

Unless we implement the Honk recursive verifiers using the Decider recursive verifier.

[codygunton]

So yeah: we only need to do this for UH