Investigate why adding default aggregation object adds many gates to double_verify_proof circuit

[lucasxia01]

It pushes double_verify_proof over the limit of 512Mi gates. Where are these gates coming from?