Add assertion that picked thread is runnable

[adrianheine]

Path::branch_thread only picks threads the execution plan considers runnable. Thus, when this assertion fails, it is an indication that the model of execution paths diverged from the actual execution.

(I also push this to test if the CI failure in #304 is due to the new rust version)