chore(replica)

Only create proposeTicker if batching is enabled.
Merge branch 'master' of github.com:yifan-gu/epaxos