Integrate Hackage checks in `cabal check`

Hackage server [performs a number of checks](https://github.com/haskell/hackage-server/blob/e907996430c6720f61ad6313d75f6f3a97cfb334/src/Distribution/Server/Packages/Unpack.hs) upon upload before accepting the package.

Some of those checks are meaningful only if done by hackage (e.g. `Check for an existing x-revision on server`, we cannot run that locally in a meaningful way), but others could be integrated into `cabal check`. Steps:
- [ ] list all the checks done
- [ ] see which one can be translated into `cabal check`
- [ ] integrate them

For this to be useful #8427 needs to be merged and #8587 too, so users can ignore can ignore some of the checks if they don’t plan to upload to Hackage (i.e.: proprietary license refusal).