The best thing about those min leads is that if you play GTO approximation you won't punish them by much you would need to adjust to make those really bad.
I've run a tree similar to that big Ah 4s 3s Qs 8h spot and on the flops evs for lead are like this:
http://i.imgur.com/FmKWPXg.png
So the mindonk is never chosen but the difference in ev is often in 0.01bb range (with a spade) and in 0.1 range for hands without a spade. That's very common because it doesn't make sense for GTO strategy to focus on punishing some weird line (it's enough to make it slightly worse). Trying to punish too much would possibly result in some hands being very profitable in that line.
That shows the importance of overall exploitablity. If it's not a good approximation the humans will find a way to get to exploitable branches sooner or later.
Now the question is if it's possible to get approximation good enough in NL or maybe the whole approach won't work. My personal view is that it will work for NLHE but won't for more complicated games.