This milestone will:

1. Incorporate reversion metrics
2. Ensure that the valugeneration constants are the same as echidna's
3. Make sure the fuzzer context is handled properly
4. Improve documentation on how to use on-chain fuzzing.