The War Dogs Approach to Auditing Smart Contracts