This is peak HN bubblism. No, people don't actually care about security or privacy if one looks at their revealed preferences and not what they say they value (see how many still use Google for example). People will continue to use computers as long as it serves a need for them.
Apple pushes the security angle as a big differentiator. Source: https://www.apple.com/privacy/
The title of that page says "Privacy.That’s Apple.".
I think as people get more knowledgeable of tech they will care more about security or privacy. It is already a big selling point of messaging applications.
Maybe some more practical and less costly formal verification?
There are some signs Rust is heading in this direction.
Efforts like Dafny are also pretty interesting, but still far from mainstream.
I think a large codebase (20-40 KLOC) is about the maximum one can routinely verify in Dafny before stuff gets too hard. And coding speed is pretty slow.