Some of the code-style rules we enabled cannot fail the build at any severity, so
`dotnet format --verify-no-changes` is the only way to catch them. Add that check to
CI.