b'U.S. Sen. Ted Cruz voted for Sen. Rick Scott, R-Florida, to replace the long-standing leader of Senate Republicans after a poor midterm performance.'