_EditorProxy : expose `destroy` and don't call it from `dispose` anymore

With commands we are going to have multiple proxy objects to the same
underlying editor instance, so calling `destroy` when one proxy is
disposed of would be bad news for the other proxies.