Uh... Auditing Smart Contracts