Mute a message about intermediate encoding when not applicable.
Fix options flags for all old Jumbo options, catching incorrect usage.
Also allow -input-encoding as an alias for -encoding.
Fix a bug where the Unicode system was left undefined, and another
one that made our two Unicode-on-GPU formats fail for certain
encodings due to a brainfart.