etcdserver: split TestDoProposal
etcdserver: better naming