Well I shoot a Vortex Diamondback that is the 3-9x40 version of the Vortex HP 4x16x42 BDC you mention above.
It has been a good scope and has help zero well on a Browning 7 Rem Mag that is about the same weight as the Winchester. It is not meant to be a long range rifle for me though. More like a 300 yard max for me.
Personally I would try to stay away from a BDC reticle. If you plan on shooting longer than say 400~500 yards, they just become hard to use. If you plan on target shooting at longer distances you will out grow the BDC reticle quickly.
IMO, the Diamondback Tactical 4x16x44 30mm tube would be a wiser choice. the First Focal Plan with MOA reticle will take you to 1000 yards pretty easily and be way more precise than a BDC reticle.
The only catch on the tactical one is that a FFP reticle can get difficult to see in low light on the lowest power of the scope and the tactical above does have an illuminated reticle to counter that. Think dark woods in late evening.
So which is best depends on the intended use. If hunting open country with a 264 Win Mag and shooting beyond 300 yards, it's the tactical one all the way.
Here's another option that has popped up lately to explore. It's the ARKEN OPTICS SH-4 4-14X44 FFP. I have not personally seen this scope but it has been getting very good reviews on Youtube from a couple of well respected long range shooters and reviewers. It has better features than the Vortex Tactical above and may well be a better scope. It is "Made in China" though. The intro price for it is hard to beat though. Here's the link to it on Amazon:
https://www.amazon.com/dp/B07JBT8BZC/?tag=lrhmag19-20
Good luck and let us know what you choose.