Terraform Labs Sold Unregistered Securities, Says Judge