Liveness and Latency of Byzantine State-Machine Replication