Issue

There are many conditions that are implicit for a configuration of constants to be valid.

To name a few:

• MIN_ATTESTATION_INCLUSION_DELAY > 0
• MAX_DEPOSIT >= MIN_DEPOSIT
• ENTRY_EXIT_DELAY >= SEED_LOOKAHEAD

Proposed implementation

I propose we add an accompanying document on configuration to make these conditions explicit. This will aid in testing/testnets and will help if some party is looking to deploy a different instantiation of the protocol.