“The Big Short” investor sells almost all shares