Something apparently causes an infinite loop somewhere as after over a 1,000 shrinks I've aborted a failed tests.