All the consolidated feeds, CTS, CQS, UTDF, UQDF are consumed for options, but they are a secondary thing and not used for pricing in real time.

Raw feeds are used. That said, Nasdaq is the most important underlier for many things in options, and that could be why some options trading stopped.