#3 would be useful as long as the image quality is retained. I've always found startmovie recording far too tedious, so I'm happy there's someone with some ideas to make it faster.
More options tend to be better so you can cover people's personal preferences, but if you include options that are slower (e.g. PNG output), you should note how they will impact rendering speed/quality.