Change 800

Richard Geiger committed this change into //guest/richard_geiger/p4bench

pmcheck really isn't part of the benchmarking stuff at all.
(In fact, we should probably split out ttt, too. Always so
much to do!)