multiset equality checks in Triton-run code

[jan-ferdinand]

Checking that two lists are equal up to permutation, also known as multiset equality, has many applications. For example, it allows non-deterministic sorting and verifying the result. Another application is to prove that two lists are indeed a permutation of each other without revealing the permutation, which is a useful primitive in privacy-preserving protocols.

• Identify the best way to realize multiset equality checking in Triton VM.
• Implement multiset equality checking.