Update doc/how to get validator.txt

in the future only rdtsc should be stubbed with nop