refactor(paxos): make leader election generic over logs by shadaj · Pull Request #1492 · hydro-project/hydroflow