Uncomment the asserts in Ultra Recursive Verifiers

[maramihali]

We have asserts that check the circuit size and number of public inputs in the verification key is the same as what is received as part of the proofs. These have been commented out in the ultra recursive verifier because some of the flows trigger assertion failures currently because of dummy values being set. We should address this

cc @lucasxia01