SHA512 hashes in short English words, as a Python script