Non-Annotator DecCBOR instances

[teodanciu]

Description

Write DecCBOR instances for types that have DecCBOR Annotator instances, by leveraging the Maybe ByteString in versioned Decoder.

Depends on era-less Memobytes PR: #4844
Closes: #4818

binary 
	PV1.Data                     EXISTS
core 
	BootstrapWitness             DONE (with new raw type and decodeMemoized)
	WitVKey kr                   DONE (with new raw type and decodeMemoized)
	MemoBytes t era              EXISTS
	PlutusData era               DONE (with fromPlainDecoder)
	Data era                     DONE (deriving newtype)
	PlutusBinary                 EXISTS
	Block h era                  DONE (with new raw type and decodeMemoized)
tpraos 
	BHeader c                    DONE
shelley 
	ShelleyTxRaw era             DONE
	ShelleyTx era                DONE
	ShelleyTxSeq era             DONE 
	MultiSig era                 DONE
	MultiSigRaw era              DONE
	ShelleyTxAuxDataRaw era      EXISTS
	ShelleyTxAuxData era         DONE (deriving newtype)
	ShelleyTxBodyRaw era         EXISTS
	ShelleyTxBody era            DONE (deriving newtype) 
	ShelleyTxWitsRaw era         DONE
	ShelleyTxWits era            DONE
	LaxBlock h era               DONE 
allegra 
	AllegraTxBodyRaw () era      EXISTS
	AllegraTxBody era            DONE (deriving newtype) 
	TimelockRaw era              DONE
	Timelock era                 DONE (with decodeMemoized)
	AllegraTxAuxDataRaw era      DONE
	AllegraTxAuxData era         DONE (deriving newtype)
mary 
	MaryTxBodyRaw era            EXISTS
	MaryTxBody era               DONE (deriving newtype) 
alonzo 
	AlonzoTxBody era             DONE (deriving newtype) 
	AlonzoTxBodyRaw era          EXISTS
	AlonzoTxSeq era              DONE        
	AlonzoScript era             DONE
	AlonzoTx era                 DONE  
	AlonzoTxAuxDataRaw era       DONE 
	AlonzoTxAuxData era          DONE 
	TxDatsRaw era                DONE
	TxDats era                   DONE 
	RedeemersRaw era             DONE
	Redeemers era                DONE
	AlonzoTxWitsRaw era          DONE
	AlonzoTxWits era             DONE
	TranslationInstance era      DONE
babbage
	BabbageTxBody era            DONE 
	BabbageTxBodyRaw era         EXISTS
conway
	ConwayTxBodyRaw era          EXISTS 
	ConwayTxBody era             DONE

Checklist

• Commits in meaningful sequence and with useful messages
• Tests added or updated when needed
• CHANGELOG.md files updated for packages with externally visible changes
  
  New section is never added with the code changes. (See RELEASING.md)
• Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
  versioning process.
• Version bounds in .cabal files updated when necessary
  
  If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md)
• Code formatted (use scripts/fourmolize.sh)
• Cabal files formatted (use scripts/cabal-format.sh)
• hie.yaml updated (use scripts/gen-hie.sh)
• Self-reviewed the diff

[lehins]

Do no look at comments 😄

[lehins]

We can't drop ghc-8.10.7 yet. See #4798

[lehins]

Suggested change

	<! D (maybeToStrictMaybe <$> decodeNullMaybe decCBOR)
	<! D (decodeNullStrictMaybe decCBOR)

[lehins]

I suggest a better naming convention. IMHO Bytes is better than some BS 😄

Suggested change

	Annotated bodies bodiesBs <- decodeAnnotated decCBOR
	Annotated wits witsBs <- decodeAnnotated decCBOR
	Annotated auxDataMap auxDataBs <- decodeAnnotated decCBOR
	Annotated bodies bodiesBytes <- decodeAnnotated decCBOR
	Annotated wits witsBytes <- decodeAnnotated decCBOR
	Annotated auxDataMap auxDataBytes <- decodeAnnotated decCBOR