fix(rpc): Refactor `getrawtransaction` & RPC error handling

[upbqdn]

Motivation

Close #8945.

Specifications & References

• https://zcash.github.io/rpc/getrawtransaction.html
• https://github.com/zcash/zcash/blob/99ad6fdc3a549ab510422820eea5e5ce9f60a5fd/src/rpc/rawtransaction.cpp#L340

Solution

• Fix the bugs described in #8744. Note that zcashd stores transactions in orphaned blocks and responds to queries requesting such transactions with height to -1. Since Zebra doesn't keep orphaned blocks below the rollback limit, it now returns the error "No such mempool or blockchain transaction". If we wanted to match zcashd, we'd need to start storing orphaned blocks.
• Fix the error codes for getrawtransaction and some other RPCs.
• Related cleanups:
  • Refactor the error handling for RPCs.
  • Add references to the original error codes.
  • Use HexData instead of Strings in getrawtransaction.
  • Simplify prop tests and run them with arbitrary Networks.

Tests

Update and add

• snapshot tests,
• unit tests, and
• prop tests

to check the new error codes.

Follow-up Work

• None

PR Author's Checklist

• [x] The PR name will make sense to users.
• [ ] The PR provides a CHANGELOG summary.
• [x] The solution is tested.
• [x] The documentation is up to date.
• [x] The PR has a priority label.

PR Reviewer's Checklist

• [ ] The PR Author's checklist is complete.
• [ ] The PR resolves the issue.