Propagate HasCallStack through tx signing chain

Add HasCallStack constraints to callers of makeShelleySignature so that
stack traces show the full signing call chain:
makeShelleyKeyWitness, makeShelleyKeyWitness', makeShelleyBootstrapWitness,
makeShelleyBasedBootstrapWitness, makeKeyWitness, issueOperationalCertificate.

Author: Jimbo4350

cardano-api/src/Cardano/Api/Certificate/Internal/OperationalCertificate.hs

@@ -37,6 +37,7 @@ import Cardano.Protocol.Crypto (StandardCrypto)
 import Cardano.Protocol.TPraos.OCert qualified as Shelley
 
 import Data.Word
+import GHC.Stack (HasCallStack)
 
 -- ----------------------------------------------------------------------------
 -- Operational certificates
@@ -107,7 +108,8 @@ instance Error OperationalCertIssueError where
 -- TODO: include key ids
 
 issueOperationalCertificate
-  :: VerificationKey KesKey
+  :: HasCallStack
+  => VerificationKey KesKey
   -> Either
        AnyStakePoolSigningKey
        (SigningKey GenesisDelegateExtendedKey)

cardano-api/src/Cardano/Api/Experimental/Tx.hs

@@ -264,7 +264,8 @@ hashTxBody
 hashTxBody = L.extractHash . L.hashAnnotated
 
 makeKeyWitness
-  :: Era era
+  :: HasCallStack
+  => Era era
   -> UnsignedTx (LedgerEra era)
   -> ShelleyWitnessSigningKey
   -> L.WitVKey L.Witness

cardano-api/src/Cardano/Api/Tx/Internal/Sign.hs

@@ -1088,6 +1088,7 @@ data WitnessNetworkIdOrByronAddress
 makeShelleyBootstrapWitness
   :: forall era
    . ()
+  => HasCallStack
   => ShelleyBasedEra era
   -> WitnessNetworkIdOrByronAddress
   -> TxBody era
@@ -1100,6 +1101,7 @@ makeShelleyBootstrapWitness sbe nwOrAddr txBody sk =
 makeShelleyBasedBootstrapWitness
   :: forall era
    . ()
+  => HasCallStack
   => ShelleyBasedEra era
   -> WitnessNetworkIdOrByronAddress
   -> Ledger.TxBody Ledger.TopTx (ShelleyLedgerEra era)
@@ -1183,6 +1185,7 @@ makeShelleyBasedBootstrapWitness sbe nwOrAddr txbody (ByronSigningKey sk) =
 makeShelleyKeyWitness
   :: forall era
    . ()
+  => HasCallStack
   => ShelleyBasedEra era
   -> TxBody era
   -> ShelleyWitnessSigningKey
@@ -1193,6 +1196,7 @@ makeShelleyKeyWitness sbe (ShelleyTxBody _ txBody _ _ _ _) =
 makeShelleyKeyWitness'
   :: forall era
    . ()
+  => HasCallStack
   => ShelleyBasedEra era
   -> L.TxBody L.TopTx (ShelleyLedgerEra era)
   -> ShelleyWitnessSigningKey