good enough without bugs makes you a lot of money and also lets you build something with a much smaller team.

I don't think Coq is the way forward (I don't think "code that makes money" has many interesting provable properties in itself along those axes) but being able to ship stuff that's pretty close to bug-free will get you far