Tornado Cash Developer Must Face Criminal Case