Proof approach in cardano-ledger-tests has to be scrapped.

[lehins]

Throughout development of Alonzo and Babbage there was an attempt at creating a new kind of generator and testing approach (i.e. for the aware it used to be called the Omega era). It is mostly contained in Test.Cardano.Ledger.Generic

This approach is overly complex that results in a lot of unnecessary boilerplate code. Also, it defies the type safety our usual type class approach for us.

It needs to go. That being said, there is a lot of useful functionality in there for generating valid transactions. We need to scrap whatever useful stuff we can find from this approach and move it into individual era ImpSpec modules