```
Small fuzzing improvement:
Add amount compression/decompression fuzzing to existing fuzzing
harness: test compression round-trip
(DecompressAmount(CompressAmount(…))).
Make the domain of CompressAmount(…) explicit.
```
Backport of core PR17917.
This is actually adapted to fix an existing fuzzing issue: the
`CompressAmount()` function expects the amount to be positive, while our
`Amount` operator works on signed integer. As a consequence the case
where the amount is negative is skipped to match the `CompressAmount()`
precondition.