The Fact is Cruz is hated, by them, hes not getting it.
Trump is hated by them too.
It would take an incredibly bloody loss for the GOPe for either of them to get it.
The GOPe is working just as hard right now to try to assure that Cruz doesn’t get it as they are Trump—they just see Trump as the bigger, more immediate and more existential threat.