Bitcoin exchanges are far too slow for actual "high-frequency trading".
Yeah, many orders of magnitude so. There's also risk inherent in trying - people used to arbitrage Gox against other exchanges. Profit was slow in arriving, but consistent (thanks, Markus!), right up until it wasn't. I doubt there was a happy ending for most who were doing so.