I think I explicitly wanted to simulate until there is a stable leader (i.e. a single leader followed by all remaining alive nodes, as long as quorum is alive), whether it was a valid test or not, I'm not sure now. 

I agree that all the other states are possible.