Add a new invariant check: check blackholes *or* loops