OFAC alleged that Tornado Cash facilitated over $7 billion in money laundering, including funds linked to North Korean hackers.