Trust's Smart Contract Auditing Methodology