I've used most of these, and for the times when aesthetics don't matter, they're fine, though I find that automated layouts never really work well, and become too messy to make practical diagrams for most purposes. (Maybe this an area where machine learning could improve the algorithms.)
A new tool that has impressed me, though, is FigJam [1], which is a new type of document in Figma that's currently in beta. It's basically Visio, but with a fantastically intuitive UI and beautiful rendering style; super easy to draw boxes and lines and so on. Best of all, it's got real-time, web-based collaboration built in, and it's as solid as Figma (which is also fantastic).