No more intermediate display of assertion when {:vcs_split_on_every_assert}

[MikaelMayer]

Dafny version

4.0.0

Code to produce this issue

function Fib(n: int): int {
  if n <= 10 then n else Fib(n-5) + Fib(n-10)
}

function Fib2(n: int): int {
  if n <= 10 then n else Fib2(n-5) + Fib2(n-10)
}

method {:vcs_split_on_every_assert} DisplayIntermediateResults() {
  assert Fib(2245) != 1;
  assert Fib(2245) != 1;
  assert Fib(2246) != 1;
  assert Fib(2247) != 1;
  assert Fib(2247) != 1;
  assert Fib(2248) != 1;
  assert Fib(2249) != 1;
  assert Fib(2250) != 1;
  assert Fib2(2245) != 1;
  assert Fib2(2245) != 1;
  assert Fib2(2246) != 1;
  assert Fib2(2247) != 1;
  assert Fib2(2247) != 1;
  assert Fib2(2248) != 1;
  assert Fib2(2249) != 1;
  assert Fib2(2250) != 1;
}

Command to run and resulting output

Juste paste this in VSCode

What happened?

Normally verifications results are supposed to highlight in the gutter one by one, or at most 8 by 8 because I have 8 cores on my machine. However, the gutter icons are published only at once when the method finishes verifying.
Every assertion is still on its own batch, but it's a pity I don't know about assertions that finish verifying before. It impedes my productivity.

What type of operating system are you experiencing the problem on?

Windows