Cuckoo Cycle verification

[tromp]

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.