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.
test/framework/src/main/java/org/elasticsearch/cluster/coordination/AbstractCoordinatorTestCase.java
*/
    private final SequentialSpec spec = new LinearizabilityChecker.KeyedSpec() {
        @Override
        public Object getKey(Object value) {
            
            return ((Tuple) value).v1();
        }
        @Override
        public Object getValue(Object value) {
            
            return ((Tuple) value).v2();
        }
        @Override
        public Object initialState() {
            return 0L;
        }
        @Override
        public Optional<Object> nextState(Object currentState, Object input, Object output) {
            
            if (input == null) {
                
                if (output == null || currentState.equals(output)) {
                    return Optional.of(currentState);
                }
            } else {
                if (output == null || currentState.equals(output)) {
                    
                    return Optional.of(input);
                }
            }