here's another illustration of the (tiny) magnitude of the problem.
full scene (resized) - z7, 70-200 f/4g, 200mm, 1/1000s, f/4, iso 64, processed in ACR.
1:1 crop of dark area of same scene but shot at 1/2500s then pushed 4.5 stops with shadows at +70, contrast, clarity, blacks all cranked.
i'm not worried about this. i shoot scenes like this a lot but tend to keep the dark areas dark and not push exposure so much, which eliminates this as a visible problem.