Compositional Verification of Byzantine Consensus