The U.S. Department of Justice wants an October retrial for Tornado Cash co-founder Roman Storm on outstanding money-laundering and sanctions-related counts, even though the Treasury has said crypto mixers can be used legitimately.