The court reversed a district court decision, ruling that Tornado’s smart contracts are not "property" and therefore cannot be sanctioned.