Fix `circuit_size` in ECCVM recursive verifier to maximum possible

[maramihali]

Otherwise we will run into problems with the recursive verifier because the number of rounds in sumcheck is dependent on circuit size. This should be done based on the needs of the protocol