Test that the Peras voting rules can correctly decide when to vote.

NOTE: in this file, we use uncommon variable names such as _L or _X because that is their name in the CIP-0140, and we can't have variable names starting with capital letters. Contrary to typical Haskell conventions, those do not denote ignored variables.