Back in 2017, @odeke-em wrote a few fuzzy tests - https://github.com/tendermint/fuzz. We should bring them back into the main repo and run them on a nightly basis.