Was the Nasdaq 'glitch' really stock market warfare?