-dynamic is not a debug flag

cabal check will refuse a package that contains ghc-options: -dynamic, claiming it's a debug flag. It's not! If -dynamic is not a flag that should be used for some reason, we should give a more meaningful error message.