Add 4.2 final release option for SpecRunner.html; modify some VC specs to handle the fact that 4.2 does not pass an empty event options object as an additional argument to event handlers.