The removal follows a January ruling by a US appeals court, which said the Treasury’s Office of Foreign Assets Control (OFAC) cannot sanction Tornado’s smart contracts because they are not the property of any foreign national