dwan, I tried running your code to see if it works. I connected pin 5 to the red pin on the VGA, and it started occasionally flashing a red screen. It seems like the timing is off.
I didn't modify your code, though, and according to you it shouldn't be outputting video at all? Is getting the occasional red frame the expected behavior?
edit: how do I disable all timers to ensure better timing?