Here's what the FiveThirtyEight Senate model says about the Texas Senate race between Ted Cruz and Beto O'Rourke.