Data map tech debt

[ana-pantilie]

• use QuickCheck instead of Hedgehog
• remove duplication of common test utility functions (done in Add a Plutus Tx test utility package #6086 )
• investigate implementing try functions (see also Add PlutusTx Map backed by Data #5927 (comment))
• use coerce where applicable in Data.AssocMap
• implement toOpaqueListWith (see Add PlutusTx Map backed by Data #5927 (comment))
• investigate improving performance of PlutusLedgerApi.V1.Data.Value.checkBinRel
• IntersectMBO/plutus-private#1214
• IntersectMBO/plutus-private#1215