echidna v2.0.2 releases: Ethereum fuzz testing framework