See the screenshot from the initial post. The operation window shows 2 remove inbox operations. They indeed did get removed from the inbox but the screen did not refresh automatically. I have subsequently archived other messages from the inbox, so it was a one-time hiccup. There were no error messages in the Console log for Airmail.