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 file or test is named; start by locating the Rust Cuckoo Cycle proof-verification entry point and its existing tests. Reproduce the verification behavior with permuted edge indices, then consider the issue done when unsorted proofs are rejected while correctly ordered proofs still pass.

Written by the indexing model from the issue text.