I can't recall where, but someone posted a comment to the effect that the PPS output of their GPS unit had significant (~20 nS) jitter.
I'd suggest feeding the output of the reference to be checked to an MCU such as an STM32F4xx Discovery board along with the PPS from the GPS and counting the number of transitions between PPS outputs.
Have Fun!
Reg
