auditing-a-smart-contract-is-important-for-these-reasons