Constraints for nimue

[WizardOfMenlo]

When using nimue in the context of recursive proofs, a notable sore point is that there is not a convenient way to implement the Fiat-Shamir in the recursive verifier circuit.
For comparison, the Sponge functionality in arkworks came with constraints associated (here).