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.

未指定檔案或測試；先找出 Rust Cuckoo Cycle proof 驗證的入口點及其現有測試。使用經過置換的邊索引重現驗證行為，然後在未排序的 proof 被拒絕，而正確排序的 proof 仍能通過時，將 issue 視為完成。

由索引模型根據 Issue 內容生成。