[WIP] Lazy instruction loading and fast comparison

This is still not done:

• Needs tests
• Will have to think about if comparison key generation is deterministic
• Comparison key generation should probably share logic with persistent hash updating
• I am not sure that __repr__ for reductions is an isomorphism