OpenAI's Codex agents and Paradigm's EVMbench target smart contract flaws