I haven't read TAOCP myself, but if I recall a lecture that Knuth gave, his algorithm analyses sometimes include cycle counts for his virtual MMIX architecture. He mentioned that these are counted by hand. If I were seeking a reward check, I would write a verifier to look for errors there.