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
int call1 = history.invoke(null); 
        history.respond(call0, true); 
        history.respond(call1, false); 
        assertTrue(LinearizabilityChecker.isLinearizable(lockSpec, history));
    }
    public void testLockWithNonLinearizableHistory() {
        final History history = new History();
        int call0 = history.invoke(null); 
        history.respond(call0, false); 
        int call1 = history.invoke(null); 
        history.respond(call1, true); 
        assertFalse(LinearizabilityChecker.isLinearizable(lockSpec, history));
    }
    /**
     * Simple specification of a read/write register.
     * Writes are modeled as integer inputs (with corresponding null responses) and
     * reads are modeled as null inputs with integer outputs.
     */
    final SequentialSpec registerSpec = new SequentialSpec() {
        @Override
        public Object initialState() {
            return 0;
        }
        @Override
        public Optional<Object> nextState(Object currentState, Object input, Object output) {
            if ((input == null) == (output == null)) {
                throw new AssertionError("invalid history: exactly one of input or output must be null");
            }
            if (input != null) {
                return Optional.of(input);