This commit removes the `-PmainToolchain` option from our build, since it was not broadly used. Instead, the language level is now configured in the `JavaConventions` for JDK 17. The `-PtestToolchain` option is still available for testing Spring Framework with other JDKs (i.e., compiling and running tests with a JDK that's not the baseline). See gh-30339