Sherlock, 스마트 계약을 위한 AI 기반 감사 도구 출시