Add 'ratio' to the timing script, as it makes it more obvious when something is faster.
Also add a limit to number of combinations, to make testing easier.
Add testing to ensure that the result of KnownGraph.heads() is correct.
Initial results showed the new gdfo code being quite a bit slower.
Adding in the 'linear_dominator' skipping seems to speed things up dramatically.
Probably we aren't wasting as much time in long linear regions.
Still seems to give correct results, which is nice to see.