Open
Description
Describe the desired feature
While I try to use the default yaml as reference, it seems that there's a lot more information around the state of these variables and how their amounts are calculated. It would be incredibly helpful to document the use of each, and if they rely on modulo values, how they skew.
The prime example of this was for maxBlockDelay and maxTimeDelay operate on a modulo, thus Echidna only really explores a smaller range than what is specified, and not realizing that this would skew towards the lower bound.
The impact of this was Medusa finding a bug before Echidna could, as the modulo skew was resulting in Echidna not hitting those cases until the block delay was expanded significantly.