Text this: Cutoff Theorems for the Model Checking of Crash-Tolerant Causal Broadcast.