Sherlock запускає аудитора на базі ШІ для смарт-контрактів