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
} else if (output.equals(currentState)) {
                return Optional.of(currentState);
            }
            return Optional.empty();
        }
    };
    public void testRegisterConsistent() {
        assertThat(registerSpec.initialState(), equalTo(0));
        assertThat(registerSpec.nextState(7, 42, null), equalTo(Optional.of(42)));
        assertThat(registerSpec.nextState(7, null, 7), equalTo(Optional.of(7)));
        assertThat(registerSpec.nextState(7, null, 42), equalTo(Optional.empty()));
    }
    public void testRegisterWithLinearizableHistory() {
        final History history = new History();
        int call0 = history.invoke(42); 
        int call1 = history.invoke(null); 
        int call2 = history.invoke(null); 
        history.respond(call2, 0); 
        history.respond(call1, 42); 
        expectThrows(IllegalArgumentException.class, () -> LinearizabilityChecker.isLinearizable(registerSpec, history));
        assertTrue(LinearizabilityChecker.isLinearizable(registerSpec, history, i -> null));
        history.respond(call0, null); 
        assertTrue(LinearizabilityChecker.isLinearizable(registerSpec, history));
    }
    public void testRegisterWithNonLinearizableHistory() {
        final History history = new History();
        int call0 = history.invoke(42); 
        int call1 = history.invoke(null); 
        history.respond(call1, 42); 
        int call2 = history.invoke(null);