Test consensus-critical Amount deserialization

[teor2345]

Motivation

Zebra isn't testing consensus-critical serialization for Amount.

Previously we were testing serde and bincode serialization, which uses a completely different code path.

This change is important to do now, because:

• it's a consensus rule
• we are just about to create more tests for ValueBalance using the Amount tests as examples

Specifications

[Sapling onward] valueBalanceSapling MUST be in the range {−MAX_MONEY .. MAX_MONEY}.
[NU5 onward] valueBalanceOrchard MUST be in the range {−MAX_MONEY .. MAX_MONEY} for version 5 transactions.

And similar rules for transparent and Sprout.

https://zips.z.cash/protocol/protocol.pdf#txnconsensus

Solution

• Replace bincode serialization tests with ZcashDeserialize tests
  • Remove the bincode test dependency
• Show the constraint in the Amount debug format

Review

@oxarbitrage can review this bug fix, it blocks the tests for PR #2486.

Reviewer Checklist

• Tests for Expected Behaviour
• Tests for Errors

[teor2345]

Linux failed due to #2450, so I restarted CI

[oxarbitrage]

This looks good, thanks.