> A test will only catch an edge case you already thought of.

Property-based tests and model-based tests can catch edge cases I never thought of.

> Tests have burned out software engineers who waste the majority of their time deriving tests that will pass anyway.

Burn, baby, burn! We don't need programmers who can't handle testing.