[Bug] The diagnostics are not refreshed automatically after clicking `Run Qihe Analysis`

[QinlinChen]

Reproduction

Preparing a.v and vizsla.toml:

module top(
    input wire clk,
    input wire rst,
    output reg x
);

    always @(posedge clk) begin
          x <= x + 1;
    end
endmodule

sources = ["a.sv"]

Step 1: Click Run Qihe Analysis

We can see the diagnostics "top.x needs resetting".

Step 2: Add the reset logic for x and click Run Qihe Analysis again

We can still see the diagnostics "top.x needs resetting" (until we modify the source code)