PairingPoints aggregation when building circuits from ACIR #1601
Description
When building a circuit from ACIR, we currently aggregate all pairing points as they are generated. This is not optimal, especially when using UltraBuilder. A single aggregation costs 60k gates. Using batch mul the cost is approximately 3.5k * N + 60k.
We should investigate where the saving would be worth the minor refactoring.
The public base is the circuit in which we perform most aggregations (3 in the AVM rec verifier + 1 to aggregate with the pairing point of the the tube + 1 inside the tube)