Autocompile feature
The idea is to automatically try to (re-)compile a .v file when an import fails. This option would (at least at first) be disabled by default. Users should be able to either enable it globally or per-project/session. Ideally, it would recursively compile files.