Debugger should visualize control-flow forks that are being explored

[NTillmann]

Otherwise, it's a bit difficult to understand the sequence of events when stepping through the code.

[NTillmann]

Related: In order to determine conflicts, checkThatFunctionsAreIndependent runs functions multiple times. This is slow, and confusing from a debugging perspective.