在跳过 ProcessProposal 时, Optimistic Execution 可能会保留过时的高度,从而导致下一个 FinalizeBlock 中的哈希不匹配。