Update eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Tx.hs

Co-authored-by: Alexey Kuleshevich <[email protected]>

Author: Soupstraw

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Tx.hs

@@ -218,10 +218,10 @@ auxDataAlonzoTxL = lens atAuxData (\tx txTxAuxData -> tx {atAuxData = txTxAuxDat
 {-# INLINEABLE auxDataAlonzoTxL #-}
 
 -- | txsize computes the length of the serialised bytes (for estimations)
-sizeAlonzoTxF :: forall era. EraTx era => SimpleGetter (AlonzoTx era) Word32
+sizeAlonzoTxF :: forall era. (HasCallStack, EraTx era) => SimpleGetter (AlonzoTx era) Word32
 sizeAlonzoTxF =
   to $
-    fromIntegral
+    errorFail $ integralToBounded @Word64 @Word32
       . LBS.length
       . serialize (eraProtVerLow @era)
       . toCBORForSizeComputation