Minor bugfix to improve pretty hole printing in GUI.
Fix fast timeout checking during pruning incorrectly marking runs that hit holes as timeouts.
Prune the loop body after its first iteration before interactively executing it.