We would like to be able to compare performance to graph-tool: https://graph-tool.skewed.de

Some algorithms may be different, which can make direct comparisons difficult to do well (for example, stopping criteria for e.g. PageRank could be different).