ItyFuzz is a state-of-the-art fuzz testing tool for smart contracts. It autonomously generates...