The Treasury Department sanctioned cryptocurrency mixer Tornado Cash in August.