Implement aggregation algorithm with recursive proof verification

[bkolad]

Description

This PR introduces the following changes:

1. Extracts the aggregation logic from main.rs into a dedicated aggregation.rs module, with a generic run_aggregation_program function for verifying inner proof chains and recursive outer proofs.

2. Adds a build.rs step that precomputes the inner verifying key hash at compile time, removing it from the runtime witness.

3. Renames CodeCommitment to OuterCodeCommitmentHash and vkey_hash to outer_vkey_hash throughout the codebase for improved clarity.

Note for reviewers: The substantive change is in aggregation.rs. The remaining changes are primarily renaming and script-related improvements, and are not relevant to the security of the outer circuit.

• I have updated CHANGELOG.md with a new entry if my PR makes any breaking changes or fixes a bug. If my PR removes a feature or changes its behavior, I provide help for users on how to migrate to the new behavior.
• I have carefully reviewed all my Cargo.toml changes before opening the PRs. (Are all new dependencies necessary? Is any module dependency leaked into the full-node (hint: it shouldn't)?)

Linked Issues

• Related to [TRACKER]: Implement proof aggregation #2551

---

[codecov]

Codecov Report

❌ Patch coverage is 77.77778% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 78.9%. Comparing base (f20563b) to head (0d5faa6).
⚠️ Report is 5 commits behind head on dev.

Files with missing lines	Patch %	Lines
...interface/src/state_machine/zk/aggregated_proof.rs	0.0%	2 Missing ⚠️

Additional details and impacted files

Files with missing lines	Coverage Δ
...unner/src/processes/prover_service/parallel/mod.rs	100.0% <100.0%> (ø)
...er/src/processes/prover_service/parallel/prover.rs	92.0% <100.0%> (ø)
crates/module-system/sov-modules-api/src/lib.rs	96.2% <ø> (ø)
.../utils/sov-test-utils/src/rt_agnostic_blueprint.rs	73.8% <ø> (ø)
...interface/src/state_machine/zk/aggregated_proof.rs	0.0% <0.0%> (ø)

... and 20 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[devin-ai-integration]

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no potential bugs to report.

View in Devin Review to see 6 additional findings.