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.