Did Stephen Colbert just decide the Texas Senate primary?