Paste or upload a single Solidity file. ParaCheck runs the same Slither-based
classifier used on NaiveAMM and ShardedAMM elsewhere on this site, and flags
every storage slot that will conflict under concurrent execution on Monad.
One file, up to 100KB. Fixed to Solidity 0.8.24 - other pragma versions may fail to compile.