Unless a message is signed, it is impossible to distinguish forwarded mail from malicious impersonation.
If you make any changes to the message content as it passes through your system, such as an External Sender warning or a "possible spam" warning, the message will lose DKIM signature authentication as a result.
Forwarded mail always loses SPF authentication for DMARC purposes: If you don't rewrite the Mail From address, it will lose SPF PASS. If you do rewrite the address, it will produce SPF Pass but it will not be aligned with the From address.
Organizations that publish strict DMARC policies are telling recipients to block impersonation by blocking anything that does not arrive with DMARC credentials (aligned SPF PASS or aligned DKIM PASS.) Therefore, Google is doing exactly what the originator's DMARC policy is asking them to do, and the problem has nothing to do with the version of SmarterMail, unless you can show that SmarterMail is making gratuitious changes that break DKIM signatures.
My opinion: There is no reason to allow auto-forwarding. Every user device has email client software available to handle multiple mailboxes, and that is what he should use. (Since he does not want his mail on your system anymore, he is unlikely to be a customer for long, so I would not worry to much about making him annoyed.)
The much bigger problem is that all of those messages that get quarantined or blocked by Gmail (and other sites) will eventually affect your server's reputation. Why would you risk having your server get blacklisted for all clients, simply to satisfy the whims of a the small group of users? It is not worth the risk, and you should tell him so.