Epic: Recursive aggregation in Next.js (i.e. in browser)

[Savio-Sou]

As a Noir dApp developer interested in recursive aggregation (a.k.a. recursion, recursive proving), I would like to:

1. Fork next-hardhat
2. Prove my recursive aggregation program (bin-test) with custom inputs in browser using it

so that I can write Noir programs making use of recursive aggregation.

Tasks

Preview Give feedback

1. Generate RecursiveAggregation AcirOpcode in SSA refactor noir#1570
   E-MEDIUM P-MEDIUM enhancement +3
   
2. Ze's reported issue on Slack
3. Inconsistent behaviour with .as_slice() noir#2557
   bug +1
   
4. fix(bb.js): (breaking change) bundles bb.js properly so that it works in the browser and in node AztecProtocol/aztec-packages#1855
   +0
5. update to nargo 0.11.0, bbjs 0.5.1 noir-starter#49
   +0
6. Dependencies in noir wasm don't get std library noir#1244
   bug +1
   

[Savio-Sou]

For reference, @signorecello has put together noir-recursion, where getting it running should be equivalent to achieving steps (1) & (2).

[Savio-Sou]

Seems that the recursion in headless browser test is now passing.