Can this be derived (i.e. `fn is_tagless() -> bool`) rather than storing the opcode length in a field? Tagless encodings _must_ have `value_body_length + length_length == total_length`, and anything else _must_ have an opcode, so `value_body_length + length_length < total_length` is always true for anything that is not a tagless encoded argument. Right?
_Originally posted by @popematt in https://github.com/amazon-ion/ion-rust/pull/801#discussion_r1712903906_