run top level less often

[JonChesterfield]

The test code around the checks can run repeatedly as the graph is traversed. Would be easier to use with verbose top levels if it ran them exactly once.