Immigration is taking center stage in Texas’ Senate race. Here’s what Colin Allred’s and Ted Cruz’s records show.