improved performance of graphchecker tool

runs 8 times faster for a graph with 100M vertices