Add an `assert_sorted_u64s` snippet

[Sword-Smith]

Extensive use of contains is pretty expensive. So let's add a snippet that asserts that a u64 list is sorted. Alternative a snippet that returns a boolean indicating if the list is sorted.

This snippet is needed by consensus logic in [neptune-core]'(https://github.com/Neptune-Crypto/neptune-core).