Enable more Transaction v5 tests (automatic rebase after #2060)

[teor2345]

Motivation

Currently, most of Zebra's proptests are testing Transaction v4, but we also want to test Transaction v5 (and NU5).

Solution

• make NU5 the default network upgrade for proptests
• use arbitrary LedgerStates in more tests
• stop skipping Canopy (and later) blocks in some tests

The code in this pull request has:

• Documentation Comments
• Property Tests

Review

@oxarbitrage can review. These tests don't pass without his fixes to #2023.

These fixes also depend on #2060.

Follow Up Work

#2059 Use arbitrary LedgerStates in more tests to increase test coverage

[teor2345]

I've marked this PR as draft because it is currently based on #2060 for easy review.

It will automatically rebase on main once #2060 merges. Then anyone can turn off draft and merge it.

[teor2345]

I also wanted to base this PR on #2057, but GitHub doesn't allow multiple bases or bases across repositories.

So I just merged #2057 into this PR so that the tests would pass.

The changes from #2057 will disappear from the diff once #2060 merges and this PR is automatically rebased on main.

[oxarbitrage]

Closing in favour of #2063