Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling