The following invocation seems to stabilise very well, generating overwhelmingly many events for the linearizability checker to check, leading to an OOME:

`./gradlew ':server:test' --tests "org.elasticsearch.cluster.coordination.AtomicRegisterCoordinatorTests.testAppliesNoMasterBlockAllIfConfigured" -Dtests.seed=9BFB03AB5780EC10`

Seen on a recent commit to `main`, 1fef466f50d9936b6cfe8295e943f1a6c3f6f2f2.
server/src/test/java/org/elasticsearch/cluster/coordination/LinearizabilityCheckerTests.java
}
            return Optional.empty();
        }
    };
    public void testLockConsistent() {
        assertThat(lockSpec.initialState(), equalTo(false));
        assertThat(lockSpec.nextState(false, null, true), equalTo(Optional.of(true)));
        assertThat(lockSpec.nextState(false, null, false), equalTo(Optional.empty()));
        assertThat(lockSpec.nextState(true, null, false), equalTo(Optional.of(true)));
        assertThat(lockSpec.nextState(true, null, true), equalTo(Optional.empty()));
    }
    public void testLockWithLinearizableHistory1() {
        final History history = new History();
        int call0 = history.invoke(null); 
        history.respond(call0, true); 
        int call1 = history.invoke(null); 
        history.respond(call1, false); 
        assertTrue(LinearizabilityChecker.isLinearizable(lockSpec, history));
    }
    public void testLockWithLinearizableHistory2() {
        final History history = new History();
        int call0 = history.invoke(null); 
        int call1 = history.invoke(null); 
        history.respond(call0, false); 
        history.respond(call1, true); 
        assertTrue(LinearizabilityChecker.isLinearizable(lockSpec, history));
    }
    public void testLockWithLinearizableHistory3() {
        final History history = new History();
        int call0 = history.invoke(null);