@girish Hi there. Thanks for checking into this for me.
I had a suspicion that the spam engine was verifying, since I did see those fields in the Spam results headers. However I think it's also useful to have Haraka add the headers as well. It would add very little overhead and will add additional detail that the spam header doesn't contain about the DKIM verification (such as which signature failed or passed, since an email can contain multiple).
In regards to DMARC. I don't believe this would be risky at all if implemented in the following manner:
No DMARC record found, take no action.
DMARC found, DKIM/SPF aligned, take no action
DMARC found, DKIM/SPF alignment fails, but p=none, take no action.
DMARC found, DKIM/SPF alignment fails, but p=quarantine, move to spam folder
DMARC found, DKIM/SPF alignment fails, p=reject, dev/null the mail. If you don't like the risk of this, push it to spam instead... or make it a cloudron option under Settings.
Thanks for listening.