Translate all tests from `BabbageFeatures` to Imp test

[lehins]

All of the tests in the Test.Cardano.Ledger.Examples.BabbageFeatures need to be translated to Imp Test in cardano-ledger-babbage:test:tests package into the respective [Rule]Spec modules that are relevant for the test.

Also improving naming and documentation in the process of transitioning those tests, thus taking care of #3005 as well

If for some reason some tests require serious changes to Imp test, they can be left at the original place for the time being, until Imp test framework gets that feature implemented as part of another task.