Stop the "type checking" notifications appearing

[isaacabraham]

In recent Ionide releases, typechecking notifications appear in the status bar every single time a file is type checked. This seems to be a continual thing - saving a single file causes all files to be type checked. To be honest, it's not the performance implications that I'm creating this issue for, but the fact that the constant animation in the status bar is very annoying. Even turning off Ionide notifications didn't help - I had to explicitly remove the Ionide status bar component, which means I've now lost all Ionide status updates (the rest of which are very useful).

[isaacabraham]

Sorry. It's the "Progress Message" notification that needed disabling in Code.