shorten SharedMutex tests that timeout under ASAN