The U.S. Treasury’s Office of Foreign Assets Control (OFAC) sanctioned Tornado Cash in 2022, but the sanctions were lifted in March 2025 following a court decision that ruled immutable smart contract code is not property—a finding that supports Roman Storm’s legal defense