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?)