echidna v2.0.4 releases: Ethereum fuzz testing framework