How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails