An update from Babai:
http://people.cs.uchicago.edu/~laci/update.html
The main result, which appears to have been vetted at this point with extreme care, has weakened somewhat. His bound is now $\exp(n^{o(1)})$, a big improvement over the previous $\exp(n^{1/2 + o(1)})$, but no longer quasi-polynomial.