Update eras/shelley/impl/src/Cardano/Ledger/Shelley/Tx.hs

Co-authored-by: Alexey Kuleshevich <alexey.kuleshevich@iohk.io>

Author: Soupstraw

eras/shelley/impl/src/Cardano/Ledger/Shelley/Tx.hs

@@ -145,10 +145,10 @@ toCBORForSizeComputation ShelleyTx {stBody, stWits, stAuxData} =
     <> encodeNullStrictMaybe encCBOR stAuxData
 
 -- | txsize computes the length of the serialised bytes (for estimations)
-sizeShelleyTxF :: forall era. EraTx era => SimpleGetter (ShelleyTx era) Word32
+sizeShelleyTxF :: forall era. EraTx era => (HasCallStack, SimpleGetter (ShelleyTx era)) Word32
 sizeShelleyTxF =
   to $
-    fromIntegral
+    errorFail $ integralToBounded @Word64 @Word32
       . LBS.length
       . serialize (eraProtVerLow @era)
       . toCBORForSizeComputation