Proving that Android’s, Java’s and Python’s sorting algorithm is broken (2015)

Pretty remarkable this has been sitting in production on millions of devices and nobody noticed until someone tried to formally verify it. Nobody at Google notice the stacktraces in TimSort code? Almost every mobile app I've written in production phones home when the app crashes. Is it just that unlikely to occur?

I read this long time back. I believe that Java rolled out a fix later to make it impossible to reproduce.

Can mods add a [2015] tag to the title? While this is an impressive analysis, it’s not a cause for panic now as it has long been patched.