Text this: Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains