With all the pixels in the rMBP screen, Quicktime's desktop recorder is useless and unusable. It's completely choppy and everything is slow. What desktop recorder would you recommend?