Using an alias with WorkMail / Exchange iOS 12 mail

See the title of this post. You can't do this. :( The workaround is to add the AWS WorkMail account as an IMAP account instead of Exchange. Then you can add additional sending mail addresses to the account. A bummer, but it works. (If you need Calendar and Contacts access via Exchange, also add the account as an Exchange account, but turn off email.