chore!: rename verify_proof to delayed_proof_aggregation

[kevaundray]

Description

This is a naming suggestion for std::verify_proof to make it clearer that it is not verifying a proof in the circuit.

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]

I don't particularly think that delayed_proof_aggregation is the best name here either. Perhaps delayed_proof_verification ?

This is blocked by AztecProtocol/aztec-packages#3528 just due to them both changing recursion interface

[vezenovm]

I don't particularly think that delayed_proof_aggregation is the best name here either. Perhaps delayed_proof_verification ?

What about just proof_aggregation?

[TomAFrench]

aggregate_proof would be be preferable to proof_aggregation