Compliance unit (as partition of an action) vs. compliance verifier input

[heindel]

The term compliance unit is used in at least two different ways, namely

1. as the RM-specific choice for the shape of action partitions, e.g., (1,1) for the shielded RM of the protocol adapter
2. the data that the verifier is obtaining to check compliance proofs

The usages of the second kind may be named more descriptively as complianceVerifierInput in analogy to logicVerifierInput (cc @heueristik)