I choose the third option:
http://wordpress.org/extend/plugins/custom-image-sizes/
It generates custom thumbnail sizes on the fly, while still being integrated into WordPress.
Really, with that plugin around, you should never need to use TimThumb again.