refactor: shard circuits + aggregation

[chiefbiiko]

On a M3 Pro verifying both storage and account proof within a single circuit yields a backend error, probably OOM.

• split circuit into two halves each verifying one of account and storage proof
• aggregate both sub circuits in a recursive proof

The general idea (credit @pmuens) is to run storage and state proof verification in parallel within two separate instances, then run a final prover for aggregation. The last aggregation step should be fast.

[chiefbiiko]

Can't do it in WASM rite now since the circuits are too big: https://github.com/aragonzkresearch/noir-trie-proofs/issues/29#issuecomment-2007419544 Still, doing the aggregation so we can parallelize the two shards WIP