Todd Snyder, the liquidator overseeing Terraform Labs, has filed a $4 billion lawsuit against high-frequency