some improvements to Master.after_consensus
possibly go for elections after a catchup
remove superfluous argument from time_for_elections