“Over $22 trillion of SpaceX's stated $29.5 trillion Total Addressable Market (TAM) in its prospectus is based on its compute leasing business.”