Big thanks to [Stephan Walters] for the tip. Of course if you prefer to speed things up by hardware rather than software, you can overclock an Arduino– with liquid nitrogen, even.