Support apps containing UH recursive verfications in CIVC

[ledwards2225]

Various devs (e.g. zkpassport) want support for apps that contain UH recursive verifiers. This support can almost be taken for granted because in general we plan to support any app that can be written in noir but there are at least two caveats:

1. Requires support for goblinized EC operations in apps, i.e. apps can add ecc ops to the queue. This is not really an issue in terms of implementation (we already assume this at the time of writing. It should also be supported by default in the but likely adds a bit of cost to all transactions through the merge work even though most apps won't need to use it.
2. Requires logic for handling the pairing points output from the recursive verifier. This is a bit trickier because it likely means assuming that all apps contain public inputs associated with an optional set of pairing inputs. These public inputs will have to be passed along from circuit to circuit until they can be aggregated with the points output from the decider recursive verifier.