Export the verification key

[marcbeunardeau88]

export the verification key for the ‘copy of pickles’ as a ‘side-loaded verification key’, and load that into pickles proper (see e.g. txn snark doing so here and here). This can then use the iterator to progressively fold together proofs coming from the zkVM generator to create a final recursive proof