This is nice and pretty, but it still requires evaluating the function in infinitely many points. Is there an easy fix for that?
2. If the winding number is zero, there still might be a root in the region because poles and zeros contribute opposite winding number, and they might exactly cancel.
3. Polynomials are great because the bounds are easy to compute and because you don't have to worry about cancelation since the only pole is at infinity.
We can approximate quite a bit, but ultimately further analysis is required to show that there are no such surprises on any particular root-finding problem.