Improve conditionally_verify_proof

[hrmk1o3]

I think the implementation of conditionally_verify_proof could be improved. Instead of inputting and selecting two proofs, only the relevant proofs need to be inputted. This has significantly reduced the number of gates in the circuit.

Here is the implementation that two kinds of recursion proofs can be verified by using the same circuit. aggregated_circuit1 is the conventional way and aggregated_circuit2 is the improved one.

Please let me know if there are any mistakes.