Yes, sure, but _just because_ it is so simple to be implemented (only
one func call to libspf2.so providing MAIL FROM and sender's IP address)
and because some of the Mail Servers do not implement such support, RC
could offer as _an option_ this check by itself. By default this might
be disabled, even at compile time (one have to use --with-spf to enable
it).
Moreover, the headers check still could be implemented, so if the MTA
supports SFP, then RC could show this important analysis information to
end-users. Same could be done with SpamAssassin headers too (again as
an option in user preferences).
p.s. Hm Sorry I've started new thread under martynas's one.