test: simplify symbolic tests using new halmos cheatcode#431

daejunpark wants to merge 3 commits into

farcasterxyz:mainfarcasterxyz/contracts:mainfrom

daejunpark:maindaejunpark/farcaster-contracts:mainCopy head branch name to clipboard