The Texas Sports Betting Bill Is Now Dead