Add aggregation to native and solidity verifiers

[lucasxia01]

This will break many tests likely. The fix is adding a builder.add_recursive_proof(default_agg_obj) to many of the circuits. One solution is to refactor such that a call to finalize adds the aggregation object (default if not set) to the public inputs.