Implement experimental estimateBalancedTxBody

[Jimbo4350]

Changelog

- description: |
    Implement experimental `estimateBalancedTxBody`

  type:
  - feature      
  - compatible    

Context

Additional context for the PR goes here. If the PR fixes a particular issue please provide a link to the issue.

How to trust this PR

Highlight important bits of the PR that will make the review faster. If there are commands the reviewer can run to observe the new behavior, describe them.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

[carbolymer]

Despite the fact that it's needed only for experimental API, we should keep orphans in as small number of places as possible. I think this should go to one of the already existing orphans module, so it'll be easier to propagate orphans through cardano-api.

[carbolymer]

Suggested change

	extractAllIndexedPlutusScriptWitnesses era b = do
	extractAllIndexedPlutusScriptWitnesses era b = obtainEraCommonConstraints era $ do

shelleyLedgerEraToLedgerEra can be then removed. We shouldn't add more era matching functions unless they're really needed.

[Jimbo4350]

Ah yes, I forgot the transformation ShelleyLedgerEra era ~ LedgerEra era is provided with obtainCommonConstraints.

[carbolymer]

This feels kind of redundant, because those fields are set again in L173-177

[Jimbo4350]

It's not. If I don't set the fields to empty the test will fail because there will be a different number of script witnesses.

I was measuring all script witnesses earlier, so yes it's redundant 👍

[carbolymer]

I know that's outside of the scope of this PR, but legacyWitnessConversion should be a verb, not a noun.