Would it make sense for the edit mode to also run a code formatter after it's done editing, as part of the typecheck agent? This would help ensure that code edits are properly formatted automatically without requiring manual formatting steps.