Now that the ASN.1 compiler properly supports IMPLICIT tagging of named CHOICE types (meaning: treat them as EXPLICIT tags), we can remove one workaround for that.