OP for your purposes (just a range gun) you should probably be getting a Razor 6-36 out of those options you listed. I'll link a video below of a pretty neutral guy talking about how it stacks up against other high end optics. The spoiler is it's probably the best buy under $4,000.
I think people don't understand why the 6-36/7-35 scopes are so prevalent in PRS shooting. Most variable power optics have sweet spots within their magnification range where depth of field, field of view, resolution, contrast, etc are best. If you look at the survey data, the most commonly used magnification for most PRS shooters is in the range of 14-20 (link below). The 6-36 and 7-35 scopes just tend to have their optical sweet spots within that 14-20 magnification range whereas 4-20/5-25 scopes tend to have theirs a bit lower (Example: ATACR 5-25).
What rifle scope magnification do you need to shoot long range? Choosing the best rifle scope magni...
precisionrifleblog.com