AI-Powered Crypto Security Tools Are Reshaping Smart Contract Audits