Add ability to inject any cost models via AlonzoGenesis

[Lucsanszky]

Description

Resolves #5342

Checklist

• Commits in meaningful sequence and with useful messages.
• Tests added or updated when needed.
• CHANGELOG.md files updated for packages with externally visible changes.
  NOTE: New section is never added with the code changes. (See RELEASING.md).
• Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
  versioning process.
• Version bounds in .cabal files updated when necessary.
  NOTE: If bounds change in a cabal file, that package itself must have a version increase. (See RELEASING.md).
• Code formatted (use scripts/fourmolize.sh).
• Cabal files formatted (use scripts/cabal-format.sh).
• CDDL files are up to date (use scripts/gen-cddl.sh)
• hie.yaml updated (use scripts/gen-hie.sh).
• Self-reviewed the diff.

[lehins]

This is close to what we need, but with current PR extraConfig is completely unused. In other words, it is not enough to add a field to the Genesis file, we need to get it to inject into the ledger state. For this you need to modify this function that will take this cost models from extra config and inject it into the ledger state, potentially overriding a PlutusV1 cost model if one is also supplied through "extraConfig": https://github.com/IntersectMBO/cardano-ledger/blob/d120d9613810c0dc9e22fe2d1c104d8240aeb163/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Transition.hs#L30C3-L30C22

So, this function should be used for injecting, so that only the supplied cost models gets overridden:

cardano-ledger/libs/cardano-ledger-core/src/Cardano/Ledger/Plutus/CostModels.hs

Lines 390 to 400 in d120d96

	-- | Updates the first @`CostModels`@ with the second one, so that only the cost models
	-- that are present in the second one get updated while all the others stay
	-- unchanged. Language specific errors and unknown cost models are removed, whenever a
	-- valid `CostModel` for the language is supplied in the update.
	updateCostModels ::
	-- | Old CostModels that will be overwritten
	CostModels ->
	-- | New CostModels that will overwrite
	CostModels ->
	CostModels
	updateCostModels (CostModels oldValid oldUnk) (CostModels modValid modUnk) =

One last thing, but extremely important one, we are not allowed to change Genesis files after the era has been hard forked into.

[Lucsanszky]

I addressed the suggestions, so it is now actually overriding the cost models by using updateCostModels in Alonzo injectIntoTestState and also keeps the JSON and binary representations intact while making the Haskell representation more restrictive (only PlutusV1 cost models are allowed outside the extra config). Hope this is more inline with what we need!

[lehins]

Looks good. Some changes are still needed though.

[lehins]

Perfect! Thank you!