Avoiding compiler verifications is one way to get some extra productivity on a class of problems. As you said, it does not come without downsides.

But there are many language level tools that will help with your productivity. Some are all upside things, others come with different trade-offs. The article isn't even focused on compile-time verifications.