Add InvalidateConfiguration endpoint with FSharpProjectSnapshot.

[nojaf]

Description

Hi there,

As some of you know, we take an interest in using the Transparent Compiler in Rider and Ionide.
Right now you can pass in FSharpChecker.Create(..., useTransparentCompiler = bool).

The new world uses FSharpProjectSnapshot instead of FSharpProjectOptions.

We would like to use the new snapshot APIs for everything. Imagine each editor has a setting for whether the end user is willing to use the new Transparent Compiler.

If the user says no (useTransparentCompiler = false), every call to a snapshot-based endpoint is forwarded to a projectOptions one in the old BackgroundCompiler (example).

We don't want to mix FSharpProjectSnapshot and FSharpProjectOptions so we would like to address some of the gaps as we go along.

This is a bit of a trade-off scenario but we want to avoid checks like this for each consumer.

Checklist

• Test cases added

• Performance benchmarks added in case of performance changes

• Release notes entry updated:

  Please make sure to add an entry with short succinct description of the change as well as link to this pull request to the respective release notes file, if applicable.

  Release notes files:

  • If anything under src/Compiler has been changed, please make sure to make an entry in docs/release-notes/.FSharp.Compiler.Service/<version>.md, where <version> is usually "highest" one, e.g. 42.8.200
  • If language feature was added (i.e. LanguageFeatures.fsi was changed), please add it to docs/releae-notes/.Language/preview.md
  • If a change to FSharp.Core was made, please make sure to edit docs/release-notes/.FSharp.Core/<version>.md where version is "highest" one, e.g. 8.0.200.

  Information about the release notes entries format can be found in the documentation.
  Example:

  • More inlines for Result module. (PR #16106)
  • Correctly handle assembly imports with public key token of 0 length. (Issue #16359, PR #16363)
    *while! (Language suggestion #1038, PR #14238)

  If you believe that release notes are not necessary for this PR, please add NO_RELEASE_NOTES label to the pull request.

[github-actions]

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

[0101]

Don't know if we will use this API in the end, but makes sense for the transitional period.