Michael Burry has just updated his stock portfolio