add MVar reachability tests and throw 'thread blocked indefinitely' exceptions