feat(rpc): implement the get_address_tx_ids RPC method query

[teor2345]

Motivation

This PR adds a state query function and RPC method for the get_address_tx_ids RPC in ticket #3147.

Specifications

RPC:

• https://zcash.github.io/rpc/getaddresstxids.html

But only the arguments and fields in ticket #3147.

Designs

There are a few tricky parts of this PR:

• filtering the tx IDs by height range efficiently
• making sure the tx IDs from the finalized state are consistent with each other
• combining the finalized and non-finalized tx IDs

We could try to hold a database read snapshot, but that could cause locking issues. Instead, I just retry a few times if the tx IDs might have changed. (If the query fails for this reason, Zebra is still syncing, and the results would probably be wrong anyway.)

But this is easier than the previous PR, because we can just combine the tx IDs, as long as there is chain overlap, or as long as we are querying a single address.

Solution

• Add the get_address_tx_ids RPC method

  • Add a query function for address tx IDs
  • Add a query method for finalized tx IDs
  • Combine tx IDs in a way that makes sure they are consistent
  • Add a state request that calls the query function

• Filter the tx IDs by the query height range

  • Optimise database queries, so we don't look up filtered transaction IDs from the disk
  • Test all block range combinations for mainnet

• Retry interrupted finalized tx ID queries

Closes #3147.

Review

Anyone can review this PR, it's not urgent.

Reviewer Checklist

• Code implements Specs and Designs
• Tests for Expected Behaviour
• Tests for Errors

Follow Up Work

Do a bunch of RPC testing:

• Add RPC response snapshot tests #4131
• Script that shows the differences between Zebra and zcashd RPC responses #4130

[teor2345]

Full validation sync failed due to #3991:
https://github.com/ZcashFoundation/zebra/runs/6018643300?check_suite_focus=true#step:9:5643

[oxarbitrage]

Looks good and it seems to work with the tests we have, additional tests will be added as part of other tickets. I think is ok to merge.