This PR is refactoring the process of proposing a leader on timeout when a quorum has been received. For that a signal component has been introduced in order to propagate the round when threshold clock advances. That was also necessary to make sure that simulation tests run properly.
This PR is refactoring the process of proposing a leader on timeout when a quorum has been received. For that a signal component has been introduced in order to propagate the round when threshold clock advances. That was also necessary to make sure that simulation tests run properly.