Text this: Model Checking CTL is Almost Always Inherently Sequential