The comment suggests tha the the negation of `ctx.view_is_stable...` is incorrect. https://github.com/grapheo12/pirateship/blob/98a4f46e094f1cc915aaa89a0e875f16de8e89b5/src/consensus/steady_state.rs#L276-L283