Frequent language server crashes when "diff mode"=on

[nbrader]

With diff mode off, I've not yet seen the language server crash after clicking around my file in continuous mode whereas when diff mode is on it only takes a couple clicks before the goals stop updating because the language server has crashed multiple times.

Found in v2.1.2