db-synthesizer: eject Layer 2 (config/credential machinery) downstream

With the config parsing now handled by cardano-config and synthesize
taking a ready-made ProtocolInfo, db-synthesizer no longer needs the
vendored node/api machinery in-repo. Remove it entirely:

- 'initialize' and its adapters (the genesis/credential reading and
  protocol assembly) leave; they belong downstream, built on cardano-api.
- Delete the vendored Cardano.Api.*, Cardano.Node.Protocol.* and
  Cardano.Node.Types modules (no remaining consumers), and prune the
  now-unused build-depends (base16-bytestring, cardano-crypto,
  transformers-except).
- Trim DBSynthesizer.Types to the node/api-free option types.

The tools-test integration test becomes synthesis-only: it builds a
forging-capable protocol via the testlib (new
mkSimpleTestProtocolInfoForging, which also returns the block forgers and
genesis) instead of a node configuration file, and forges within the
testlib's KES validity window. The config-driven
synthesise -> immutalise -> analyse pipeline (and the executable) move
downstream. Drop the now-unused config fixtures.

All tool executables, cardano-test and tools-test still build and pass.

Author: jasagredo

ouroboros-consensus-cardano/src/unstable-cardano-testlib/Test/Consensus/Cardano/ProtocolInfo.hs

@@ -17,6 +17,7 @@ module Test.Consensus.Cardano.ProtocolInfo
 
     -- * ProtocolInfo elaboration
   , mkSimpleTestProtocolInfo
+  , mkSimpleTestProtocolInfoForging
   , mkTestProtocolInfo
   , protocolVersionZero
   ) where
@@ -184,15 +185,49 @@ mkSimpleTestProtocolInfo ::
   CardanoHardForkTriggers ->
   IO (ProtocolInfo (CardanoBlock c))
 mkSimpleTestProtocolInfo
+  decentralizationParam
+  securityParam
+  byronSlotLenghtInSeconds
+  shelleySlotLengthInSeconds
+  protocolVersion
+  hardForkTriggers =
+    (\(protocolInfo, _, _) -> protocolInfo)
+      <$> mkSimpleTestProtocolInfoForging
+        decentralizationParam
+        securityParam
+        byronSlotLenghtInSeconds
+        shelleySlotLengthInSeconds
+        protocolVersion
+        hardForkTriggers
+
+-- | Like 'mkSimpleTestProtocolInfo', but additionally returns the block
+-- forgers and the Shelley genesis. Callers that forge (eg db-synthesizer)
+-- need the forgers, and the genesis for its epoch length.
+mkSimpleTestProtocolInfoForging ::
+  forall c.
+  (CardanoHardForkConstraints c, AgentCrypto c) =>
+  -- | Network decentralization parameter.
+  Shelley.DecentralizationParam ->
+  SecurityParam ->
+  ByronSlotLengthInSeconds ->
+  ShelleySlotLengthInSeconds ->
+  SL.ProtVer ->
+  CardanoHardForkTriggers ->
+  IO
+    ( ProtocolInfo (CardanoBlock c)
+    , Tracer.Tracer IO KESAgentClientTrace -> IO [MkBlockForging IO (CardanoBlock c)]
+    , ShelleyGenesis
+    )
+mkSimpleTestProtocolInfoForging
   decentralizationParam
   securityParam
   byronSlotLenghtInSeconds
   shelleySlotLengthInSeconds
   protocolVersion
   hardForkTriggers = do
     fs <- SomeHasFS <$> Sim.simHasFS' MockFS.empty
-    fst
-      <$> mkTestProtocolInfo @IO
+    (protocolInfo, blockForging) <-
+      mkTestProtocolInfo @IO
         fs
         (CoreNodeId 0, coreNodeShelley)
         shelleyGenesis
@@ -203,6 +238,7 @@ mkSimpleTestProtocolInfo
         (Just $ PBftSignatureThreshold 1)
         protocolVersion
         hardForkTriggers
+    pure (protocolInfo, blockForging, shelleyGenesis)
    where
     aByronProtocolVersion =
       CC.Update.ProtocolVersion 0 0 0