It seems that Windows doesn't allow us to dtor a locked mutex (that behavior is in fact UB). This implies that failures during lock could be hidden by consequential failures during unlock. We should:

• invariant that Mutex is unlocked on dtor via a boolean flag
• allow turning on and off the latch analyzer
• alter the test to have a stack of lock and unlock events

As an example for LatchAnalyzerTest::AddValidWasAbsent, we would:

l2.acquire();

l1.acquire();

{

    LatchAnalyzerDisabledBlock block;

    l1.release();

    l2.release();

}