Check that protocol constants satisfy the desired invariants
The protocol constants must satisfy some constraints that are critical for the protocol execution.
We should not enforce these constraints either by :
- checking them at migration time (one can make this check optional for testing purpose using a dedicated protocol constants) ;
- providing a linter for protocol configuration files.