Visual Studio Code Plugin

[aaguiarz]

• Implement a language service for Visual Studio Code that provides syntax highlighting, autocompletion, etc.
• Provide simple way to declare assertions.
• Provide a way to easily run assertions, or run a batch of check() calls, to verify that the model still works as expected.