Setting cycle-bound to 0 in modes leads to run length being exceeded immediately
...whereas it should lead to unbounded cycle detection.