Wait longer on leave
Better startup sequence in HAMS, to avoid NPEs
When an instance leaves the ProposerState logic for how many accepts to wait for is wrong. Fixed this.