Tornado Cash co-founder Roman Storm has petitioned a judge to drop criminal charges against him after an appeals court found the Treasury unlawfully sanctioned the crypto mixer.