(Posting this here since the new topic is now closed.)
I just experienced the above bug again on v4202 (unofficial build). I still have no idea what triggers it, though. I couldn’t get it to happen on v4201 irrespective of whether the “slow” box was checked, but it happens so rarely that maybe I just didn’t use that version for long enough.