I remember people complaining loudly about the transition to Mach-O from PEF, but I don't remember seeing solid data that the situation was a problem. Is there data here that supports this?

Some of this just makes sense (resolving function addresses through the GOT, which has an impact on correctness), but for the performance issues it would be nice to know how much is at stake here.