Add module name validation in cabal check command

This change ensures that Cabal warns about modules with names that would cause
portability issues, especially on Windows systems where certain names like "aux",
"con", "nul", etc. are reserved by the operating system.

Fixes #10295