log_circuit_size cannot depend on the transcript in the recursive verifier

[maramihali]

Actually, from offline conversation with @Rumata888 , it is fine as long as we will have recursive verifiers for all the sizes of circuits we support.