I think we are not in disagreement - I am absolutely for static types and even for some notion of ownerships a la Rust, but for example dependent types may not be worth the extra mental overhead/arguings with the compiler.
Are you sure dependent types don't make your programs simpler instead of more complex? A more powerful type system making programs simpler isn't anything new.
I personally haven't seen them simply anything yet, but your assumption that verifying things with a dependent type would necessarily result in more complexity than a non-verified program is not trivial and needs support.
