Parallelised labelling
More informative gap at the root node
Merge branch 'threaded-labelling'