SEC Uses HFT Firm-Designed Tool To Find That HFT Doesn't Cause Flash Crashes