Tornado Cash was used to launder billions in stolen crypto, according to the Treasury.