One election test

And a few fixes
Fix proposer: refresh state on done

When proposer broadcasts majority, clean its state.
Show pid in debug output
Bugfix in increasing numbers
Do not refresh proposer state on new proposal
More crazy tests