The $500 Smart Contract Audit