Cuckoo Cycle verification

It fails to test that the 42 edge indices are listed in increasing order in the proof.
This mean that a single 42-cycle has 42! (42 factorial) different proofs,
and satisfying the difficulty target is a matter of trying all permutations.

No se especifica ningún archivo ni prueba; empieza por localizar el punto de entrada de verificación de proofs de Rust Cuckoo Cycle y sus pruebas existentes. Reproduce el comportamiento de verificación con índices de aristas permutados y considera cerrado el issue cuando se rechacen los proofs sin ordenar, mientras que los proofs correctamente ordenados sigan pasando.

Escrito por el modelo de indexación a partir del texto del issue.