Record max depth reached in CFG construction

[franck44]

Add this information to the statistics in the DFS. Add the result to the title of the CFG to indicate the size of the deepest branch.

[aodhgan]

I think this is done? Edit: well the fact the max depth wasnt hit, but maybe not the actual depth