Fix orphaned QED symbol

Upgrade IEEEtran.cls to the latest version, which supports manual
placement of the QED symbol.