This commit introduces the `OnLoopDetectedStrategy` type and does a
slight refactoring so that we can "plug in" algorithms to break loops
during our forest search.

It also introduces a test, which at the moment is failing, that we
can actually break a loop.