Florida’s No. 1-ranked defensive lineman Jamar Thompson replaces Michigan with Texas, narrowing his choices to Auburn, Miami, Ohio State, and the Longhorns.