Michael Burry warned us about FTX. Sort of.