By the way, don’t be surprised if Cruz gets pushed aside by the GOPe if he should succeed in his quest to beat Trump at all costs. The GOPe will dump him faster than you can say Paul Ryan. Cruz is toxic in DC and the establishment has it in for him.
But, honestly, put yourself in Cruz's place - what should he do, quit? He'll no more likely do that than would Trump if their roles were reversed.