Yahoo made $9.4 billion by selling 140 million shares in Alibaba, according to a new SEC filing. Never have so many billions seemed so doomed.