With macro, auto focus is seldom very useful. I think you should consider legacy manual focus macro lenses before splashing out for a current production auto focusing lens. Most macro lenses are very sharp, even older ones. Vivitar 90mm f/2.5 Macro 1:1 is nice.
But that's just my opinion, of course.