Module permutation

Implementation of permutation argument.

Structs

• Argument
  A permutation argument.
• Assembly
  Struct that accumulates all the necessary data in order to construct the permutation argument.
• VerifyingKey
  The verifying key for a single permutation argument.