debugging setoid_rewrite runaway typeclass resolution

[andres-erbsen]

We should try having typeclass hints not follow Require in cross-crypto as suggested at rocq-prover/rocq#7710 (comment) . Maybe this would make setoid_rewrite loop less frequently.

[andres-erbsen]

Also potentially useful: rocq-prover/rocq#6105 (comment)