Stop failing assertions when we encounter an insoluble puzzle.

[originally from svn r7408]