Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed Protocols