I agree and commiserate. In the near term my picture is pretty grim. There's fantastic uses for these tools but they're being abused.

I was big on correctness, software safety (think medical devices, not memory) and formal proofs anyway, so I think I'm just going to take the pay cut and start selecting for those types of jobs. Your run of the mill SaaS or open source+commercial companies are all becoming a death march.