587993eb1e
- Added a session-global file mutation counter and accessor methods to tool sessions. - Updated the write tool to bump a file's mutation version after each write. - Updated the edit tool to use session-wide mutation versions when checking stale deferred diagnostics.