Version range syntax could use ^>= to be more concise

A package I just uploaded has
```
build-depends: base ^>=4.14.3.0 || ^>=4.15.1.0 || ^>=4.16.4.0 || ^>=4.17.0.0,
```
but this is rendered on hackage as
```
base (>=4.14.3.0 && <4.15 || >=4.15.1.0 && <4.16 || >=4.16.4.0 && <4.17 || >=4.17.0.0 && <4.18),
```

This seems to be worse than the original.

I assume the problem is actually [`simplifyVersionRange`](https://hackage.haskell.org/package/Cabal-syntax-3.8.1.0/docs/Distribution-Version.html#v:simplifyVersionRange), so I opened https://github.com/haskell/cabal/issues/8655 there as well; this issue here can be used to track getting these improvements (if we get them) onto hackage.