Comment by computably

> I used to think that compilers should use more verification technology, but people start screaming about compile times.

"Just" make verification faster. ;)