Even after #245 was merged, EverCDDL is still restricted to the deterministic encoding of CBOR. EverCDDL serialization should be generalized to non-deterministic, definite-length CBOR.

(EverCDDL parsing should be fine, as soon as CDDL.Pulse.AST.Base.cbor_impl can be instantiated with CBORNondet.)