Move the soundness checks in `Test.Cardano.Ledger.STS` to `cardano-ledger-conformance`

There are some soundness checks for the constrained specs in [`Test.Cardano.Ledger.STS`](https://github.com/IntersectMBO/cardano-ledger/blob/master/libs/cardano-ledger-test/src/Test/Cardano/Ledger/STS.hs#L146-L380), but I have moved some of these specs into `cardano-ledger-conformance` and commented out the corresponding soundness checks. We should move these soundness tests into `cardano-ledger-conformance` as well and re-enable them.

It would make more sense to use the specs from the `ExecSpecRule` instance of each era.