Pick which hash function to use based on is_recursive_circuit

[lucasxia01]

If we know this circuit will be recursively proven, then we should use poseidon2 in the transcript. Otherwise we can use keccak. This could allow us to get rid of the UltraKeccak flavor, but I haven't thought that far.