Tokyo Stock Exchange’s trading system malfunction had serious consequences.