I'm not familiar with many options, but as far as my experience goes I'd go for ImageMagick, it's quite fast when executed command-line. Updates on ImageMagick and backwards compatibility can be the cause of unforeseen bugs though. When generating many images on the fly it might be an idea to perform the thumbing on a different / dedicated server. And make sure to cache them.
