chore!: Modify double_verify_proof example

[kevaundray]

Description

This extracts the changes made in Noir from AztecProtocol/aztec-packages@fde0ac3

Problem*

Resolves

Summary*

Additional Context

Documentation*

Check one:

• No documentation needed.
• Documentation included in this PR.
• [Exceptional Case] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[kevaundray]

Changed to breaking because the previous version of barretenberg was expecting the input_aggregation_object and output_aggregation_object

[TomAFrench]

Good to close this @kevaundray ?