To build smart contract fuzzers you usually use Haskell. I did my best here: https://twitter.com/pcaversaccio/status/1491014990140407814