Language server does not seem to respect options in project file

[fzaiser]

Dafny version

4.3.0

Code to produce this issue

$ cat dfyconfig.toml
includes = ["Test.dfy"]

[options]
disable-nonlinear-arithmetic = true
$ cat Test.dfy
lemma Test(a: real, b: real)
  requires b != 0.0
  ensures a / b == 1.0 / b * a
{}

Command to run and resulting output

$ dafny verify dfyconfig.toml
Test.dfy(4,0): Error: a postcondition could not be proved on this return path
  |
4 | {}
  | ^

Test.dfy(3,10): Related location: this is the postcondition that could not be proved
  |
3 |   ensures a / b == 1.0 / b * a
  |           ^^^^^^^^^^^^^^^^^^^^


Dafny program verifier finished with 1 verified, 1 error

What happened?

dafny verify correctly complains because nonlinear arithmetic is disabled. But in VS Code, the lemma verifies. It seems that the language server ignores the option --disable-nonlinear-arithmetic in the project file.

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

Mac