Merge #2993

2993: Verify coin selection balancing errors. r=jonathanknowles a=jonathanknowles

## Issue Number

ADP-1037

## Summary

This PR finalizes the verification of selection balancing errors returned from `CoinSelection.performSelection`.

## Details

This PR:

- adds verification for errors of the following types:
    - `EmptyUTxO`.
    - `BalanceInsufficientError`.
    - `InsufficientMinCoinValueError`.
    - `UnableToConstructChangeError`.
- adds helper functions to simplify verification functions.

Co-authored-by: Jonathan Knowles <jonathan.knowles@iohk.io>