Artificial Intelligence in Cryptocurrency: A Leap Forward for Smart Contract Auditing