Bug 885180 - Fix isLoopBackedge to work even when critical edges are not split, and tighten up some related assertions. r=bhackett