Just to make sure everything is clear, the penalty pool is not related to mining pools, despite the usage of the word "pool". I have not talked about mining pools in this discussion.
Sorry my mistake. I was thinking miners could leave mining pools in this scenario, to benefit from the remaining members of the pool producing larger blocks.