Simple Echidna Fuzz Template Run: echidna-test test/EchidnaTest.sol --contract EchidnaTest --config test/config.yaml