US Judge Considers if Crashed Coins of Terraform Labs Were Securities