PrAIoritize: Learning to Prioritize Smart Contract Bugs and Vulnerabilities