Text this: Model Checking Stochastic Branching Processes