OFAC sanctioned Tornado Cash in 2022, claiming the mixer had been used to launder more than $7 billion in crypto