omnipaxos-lecture-2025.pdf