Turns out we're sorting beyond US-ASCII after all

Also, switched back to sorted() for the moment.
Rudimentary timing script
Some compatibility across Python environments