Is the SEC giving up on making high-frequency traders play fair?