More speed ups for loading from cache.

- Cache written variable names in the kernel (#135)
- Make LoopyEqKeyBuilder.hash_key() return a hash, so that
  instructions don't have to be re-hashed when they are loaded from
  cache.