Mechanically check documentation of GHC flag implications

In #24253 (closed) we found that a flag was added to -Wdefault yet the documentation was not amended. This is likely neither the first nor last time that this has happened. We should see to it that this is mechnically checked.