No feedback on compilation errors

[adpaco-aws]

Screenshot or description of the issue: When playing with the "Get coverage info" button, I modified the harness then clicked on the button again, but nothing happened. Then I executed Kani manually and realized that there was a compiler error, but the extension didn't show anything, but since I'm debugging I got this message:

rejected promise not handled within 1 second: TypeError: Cannot read properties of undefined (reading 'get')
extensionHostProcess.js:105
stack trace: TypeError: Cannot read properties of undefined (reading 'get')
	at CoverageRenderer.createCoverage (/Users/accorell/kani-vscode-extension/out/ui/coverage/coverageInfo.js:224:44)
	at /Users/accorell/kani-vscode-extension/out/ui/coverage/coverageInfo.js:184:40
	at Array.forEach (<anonymous>)
	at CoverageRenderer.renderInterface (/Users/accorell/kani-vscode-extension/out/ui/coverage/coverageInfo.js:171:17)
	at runCodeCoverageAction (/Users/accorell/kani-vscode-extension/out/ui/coverage/coverageInfo.js:59:18)
extensionHostProcess.js:105
rejected promise not handled within 1 second: TypeError: Cannot read properties of undefined (reading 'get')

I expected to see this happen: A dialogue pops up and tells me something went wrong.

Instead, this happened: Already explained this.

Link to PR / commit where the action failed: da3617b