Despite the ruling, Tornado Cash developer Alexey Pertsev remains under arrest for money laundering-related charges.