Ted Cruz is naming Carly Fiorina as his extremely hypothetical running mate