Feature Request: Add setting to consider reverted tests as failed in assertion mode

[rappie]

Describe the desired feature

I have switched to writing all my tests so that they should never revert. Currently I'm using additional self-tests to check my tests for unwanted reverts, it would be nice if this is a built-in option in Echidna.

Medusa has something similar:

				"panicCodeConfig": {
					"failOnCompilerInsertedPanic": false,
					"failOnAssertion": true,
					"failOnArithmeticUnderflow": false,
					"failOnDivideByZero": false,
					"failOnEnumTypeConversionOutOfBounds": false,
					"failOnIncorrectStorageAccess": false,
					"failOnPopEmptyArray": false,
					"failOnOutOfBoundsArrayAccess": false,
					"failOnAllocateTooMuchMemory": false,
					"failOnCallUninitializedVariable": false
				}

For my use case it would be enough to consider any revert as a failed test

[ggrieco-tob]

One blocker here is that echidna will send ETH to non-payables functions from time to time, to cover some rare cases that the interface is incorrect (and increase coverage). These will most likely break this feature.