U.S. Treasury links the crypto mixer with $7 billion worth of laundered money.