Add property tests for Alonzo, Babbage and Conway Plutus TxInfo translation

Add `Test.Cardano.Ledger.Alonzo.TxInfoSpec` with three property tests
for Alonzo TxInfo translation:
* correctly translate tx with alonzo-era features
* translation fails when input not in UTxO
* translation fails for slot past horizon

Extend `Test.Cardano.Ledger.Babbage.TxInfoSpec` with a property test for
Babbage TxInfo translation across PlutusV1/V2/V3/V4:
* correctly translate tx with babbage-era features

Author: koslambrou

eras/alonzo/impl/cardano-ledger-alonzo.cabal

@@ -179,6 +179,7 @@ library testlib
     Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen
     Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance
     Test.Cardano.Ledger.Alonzo.TreeDiff
+    Test.Cardano.Ledger.Alonzo.TxInfoSpec
 
   visibility: public
   hs-source-dirs: testlib
@@ -223,6 +224,7 @@ library testlib
     microlens-mtl,
     mtl,
     plutus-ledger-api,
+    plutus-tx,
     serialise,
     text,
     time,

eras/alonzo/impl/test/Main.hs

@@ -13,6 +13,7 @@ import qualified Test.Cardano.Ledger.Alonzo.GoldenTranslation as GoldenTranslati
 import qualified Test.Cardano.Ledger.Alonzo.Imp as Imp
 import qualified Test.Cardano.Ledger.Alonzo.Imp.TxInfoSpec as TxInfoImp
 import Test.Cardano.Ledger.Alonzo.ImpTest ()
+import qualified Test.Cardano.Ledger.Alonzo.TxInfoSpec as TxInfoSpec
 import Test.Cardano.Ledger.Common
 import Test.Cardano.Ledger.Core.JSON (roundTripJsonEraSpec)
 import Test.Cardano.Ledger.Shelley.JSON (roundTripJsonShelleyEraSpec)
@@ -35,3 +36,4 @@ main =
       describe "TxWits" $ do
         TxWitsSpec.spec @AlonzoEra
       TxInfoImp.spec
+      TxInfoSpec.spec @AlonzoEra