The Texas Redistricting map is a bet against demographic reality.