Enabled reverse hash lookup

- Scripts can call $.hashstr to convert a hash back to a string
- This will be useful in debugging as well as future user generated
  content efforts
- There's some locking to accomodate this on a shared hash table,
  so use with conservatively
- Very few locks in the whole engine, but this is a necessary one