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

[Soupstraw]

There are some soundness checks for the constrained specs in Test.Cardano.Ledger.STS, 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.

[Soupstraw]

Actually now that I think about it, we don't really need the tests in that module, since they just generate the inputs to an STS rule and then try to run the STS rule with these inputs. We essentially do that already with confomance tests.