'This is a lot,' judge says as Tornado Cash developer Roman Storm's case is unclear