RecursiveCircuit pending tasks

[arnaucube]

#204 adds the initial RecursiveCircuit, but there are two pending tasks to have it ready for usage in the POD logic (aside from the verification of the correct authorization of the verifier_data):

• add public inputs to the InnerCircuit, connected through the RecursiveCircuit public inputs
• add logic to use CircuitConfig::standard_recursion_zk_config instead of standard_recursion_config. This probably will require doing a custom logic for the dummy_proof instead of relying on the existing conditionally_verify_cyclic_proof_or_dummy