Bug 881409 - Pull the parts of AssertGraphCoherency that can be checked before SplitCriticalEdges out into a separate function and call it before SplitCriticalEdges. r=jandem