Don't reuse an instantiation if simplification directives have changed

[wwitzel]

Instantiations are stored and reused for efficiency. However, these should sometimes be invalidated when autosimplification is used and simplification directives change.