More speed ups for loading from cache.

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