Define "End-to-End" property in Monitor language

[abailly-iohk]

We want to assert and verify (roughly) the following (Safety/liveness) property:

• Nodes retrieve protocol parameters
• Nodes register their keys
• Snapshot is triggered
• Nodes send signatures to aggregator
• Aggregator eventually produces a valid certificate for the required snapshot