Add property tests for Babbage Plutus TxInfo translation

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/testlib/Test/Cardano/Ledger/Alonzo/TxInfoSpec.hs

@@ -7,7 +7,7 @@
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeOperators #-}
 
-module Test.Cardano.Ledger.Alonzo.TxInfoSpec (spec) where
+module Test.Cardano.Ledger.Alonzo.TxInfoSpec (spec, txInfoSpecV1) where
 
 import Cardano.Ledger.Alonzo.Plutus.Context (
   ContextError,
@@ -62,8 +62,24 @@ spec ::
   ) =>
   Spec
 spec = do
+  describe "txInfo translation" (txInfoSpecV1 @era)
+
+txInfoSpecV1 ::
+  forall era.
+  ( EraTx era
+  , AlonzoEraTxBody era
+  , AlonzoEraTxWits era
+  , AtMostEra "Babbage" era
+  , Value era ~ MaryValue
+  , EraPlutusTxInfo 'PlutusV1 era
+  , TxCert era ~ ShelleyTxCert era
+  , ShelleyEraTxCert era
+  , Inject (AlonzoContextError era) (ContextError era)
+  ) =>
+  Spec
+txInfoSpecV1 = do
   let lang = SPlutusV1
-  describe "txInfo translation" $ do
+  describe "Plutus V1" $ do
     prop "correctly translate tx with alonzo-era features" $ do
       inputs <- listOf1 genUtxoEntry
       outputs <- listOf1 genTxOut
@@ -246,9 +262,14 @@ genUtxoEntry = do
 
 genTxOut :: forall era. (AlonzoEraTxOut era, Arbitrary (Value era)) => Gen (TxOut era)
 genTxOut = do
+  let genAddr =
+        -- Byron addresses are not permitted in later eras
+        if eraName @era == "Alonzo"
+           then arbitrary
+           else Addr <$> arbitrary <*> arbitrary <*> arbitrary
   dataHash <- arbitrary
   txOut <-
     mkBasicTxOut
-      <$> arbitrary
+      <$> genAddr
       <*> scale (`div` 15) arbitrary
   pure $ txOut & dataHashTxOutL .~ dataHash

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

@@ -209,6 +209,7 @@ library testlib
     microlens,
     microlens-ghc,
     plutus-ledger-api,
+    plutus-tx,
     small-steps >=1.1,
     time,
     tree-diff,