ClientIVCRecursiveVerifier should only have one transcript and one proof

[maramihali]

and the proof should be stdlib

[iakovenkos]

The first part is solved by AztecProtocol/aztec-packages#14144

I don't have any strong opinion re the single proof part, @maramihali did you have any particular reason in mind?

[maramihali]

Inherently sharing a transcript kinda means there is only one proof, I think that's what I meant. So if they do share a transcript I think we can close this issue.