Former Alabama LB Derrick Thomas should be in the College Football Hall of Fame