Integrate query proposals

[CarlosLopezDeLara]

Changelog

- description: |
    Integrate queryProposals (GetProposals)
# uncomment types applicable to the change:
  type:
   - feature        # introduces a new feature
  # - breaking       # the API has changed in a breaking way
  # - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
  # - refactoring    # QoL changes
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  # - maintenance    # not directly related to the code
  # - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

Context

This query is relatively new in consensus and will be useful for IntersectMBO/cardano-cli#954

How to trust this PR

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]

LGTM! Can you test the query on the live node prior to merging?

[Jimbo4350]

LGTM!

[smelc]

@carbolymer> I think it'd be nicer for the developer experience to merge this before having tested it on cardano-testnet, because testing requires building both cardano-node and cardano-cli locally with SRPs, which is cumbersome. I don't think there's much harm to be done if we merge this. It's not like 1. it can be very wrong and 2. users are going to jump on this feature.

[smelc]

Agreed during the team meeting to merge after the release (the one being worked on by @neilmayhew: #687).

[smelc]

Putting to draft to make sure we don't merge until we're sure the behavior we observe in IntersectMBO/cardano-node#6045 is the intended one (as agreed on Slack, we don't want to merge until we're sure our code (and the ledger's code) is correct).

[smelc]

We have confirmed that the behavior of the query we observe on cardano-testnet is correct, so merging. cc @CarlosLopezDeLara