I asked for clarification, and the issue is that my condensing (or maybe even interpreting) their original reply was a bit misleading.
The issue isn't that SpamFoo missed the SPF fail in the header. The issue is a bug where, if DMARC passed, the status of SPF and DKIM could be displayed incorrectly. (Hence, the "display issue" I mentioned.) I should have made that clearer.
Regarding DMARC, SpamFoo doesn't care HOW the email is verified, just that it IS verified. So since DMARC passed, the message was considered verified. If DMARC wasn't present, then SPF and DKIM would be verified on their own, not together with a DMARC policy. However, if a DMARC policy exists, it takes precedence over individual SPF and DKIM checks.