fix(aggregation): drop proverAddress from AggregationOutputs to match v117 contract

The zkVM aggregation program committed a 7-field AggregationOutputs (224B)
including `proverAddress` (from upstream succinctlabs#421 front-run protection), while the
on-chain OPSuccinctL2OutputOracle (v117 / adam/v1.1.7-2) reconstructs a 6-field
struct (192B). The mismatched publicValues made sha256 diverge, so the SP1
verifier pairing check failed with InvalidProof (0x09bde339) on every
proposeL2Output.

MANTLE_CHANGES.md 3.4b realigned the host/contract call ABI back to v117's
4-param proposeL2Output but missed the program's committed struct. Drop
proverAddress from the committed AggregationOutputs only; AggregationInputs.
prover_address and the host stdin plumbing stay, matching mantle
v2.2.4-mainnet.5-rc1 (keeps it as input, never commits it).

Requires `just build-elfs` (agg vkey changes) + updateAggregationVkey on-chain.

Author: byteflyfunny

programs/aggregation/src/main.rs

@@ -91,7 +91,6 @@ pub fn main() {
         l2BlockNumber: final_boot_info.l2BlockNumber,
         rollupConfigHash: final_boot_info.rollupConfigHash,
         multiBlockVKey: multi_block_vkey_b256,
-        proverAddress: agg_inputs.prover_address,
     };
 
     // Commit to the aggregated [`AggregationOutputs`].

utils/client/src/types.rs

@@ -21,7 +21,6 @@ sol! {
         uint64 l2BlockNumber;
         bytes32 rollupConfigHash;
         bytes32 multiBlockVKey;
-        address proverAddress;
     }
 }