Porter's suggestion looks like the best yet. Gives you more cycles inbetween sampling to do other stuff. Not that you probably need them with 8 cores onboard.

Does the Prop generate VGA timing independently of its own clock frequency?

You may (or may not) find relevant information and/or inspiration in the MPxPlayer and EvilTim's other projects.