Verify two different proofs. WIP

[jzaki]

Description

Problem*

Double recursion is useful for thinks like proving hashes up a tree.

Summary*

Example of double verification in one circuit, but cannot generate proof.

Additional Context

$ tsx ./generate-proof.ts
Error [RuntimeError]: unreachable
    at wasm://wasm/031c2f9e:wasm-function[20245]:0xbe32f0
    at wasm://wasm/031c2f9e:wasm-function[1457]:0x77d40
    at wasm://wasm/031c2f9e:wasm-function[1460]:0x77ec4
    at wasm://wasm/031c2f9e:wasm-function[9456]:0x2ff615
    at wasm://wasm/031c2f9e:wasm-function[812]:0x48896
    at wasm://wasm/031c2f9e:wasm-function[806]:0x4881b
    at wasm://wasm/031c2f9e:wasm-function[803]:0x487cd
    at wasm://wasm/031c2f9e:wasm-function[139]:0x280ce
    at wasm://wasm/031c2f9e:wasm-function[102]:0x25e63
    at wasm://wasm/031c2f9e:wasm-function[18356]:0xb46106
error Command failed with exit code 1.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[jzaki]

Related - noir-lang/noir#4410 (comment)

[Savio-Sou]

What's the gate count with Barretenberg UltraHonk?