Create constraints for hashing in Ultra

[ledwards2225]

Constraints are currently not added when hashing in an Ultra arithmetized circuit (i.e. a recursive verifier). This was done for convenience since Ultra does not have poseidon.