The SEC's fascinating tick-tock on Nasdaq's botched Facebook IPO