Didn't Tornado Cash get un-sanctioned recently? Can't you just use that?