synchronizer: should we stop voting for the current view on local timeout?

[meling]

Originally posted by @leandernikolaus in https://github.com/relab/hotstuff/pull/221#discussion_r2403840827

No, at this point, the replica is actually in between views. It stopped voting in one view but did not start the next view. It will only start the next view once it has sufficient timeouts. We should create an issue to examine this further. I remember a related discussion on PBFT, where PBFT stopped voting once a view timed out but later work only stopped voting once a viewChange message is sent. Does the synchronizer algorithm implemented here specify that we have to stop voting on a local timeout?