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.
UPDATE: Babai is now claiming a new Split-or-Johnson subroutine restores the quasipolynomial claim! http://people.cs.uchicago.edu/~laci/update.html