Add some extra debug traces to the GTKWave document