I'm curious what the verification and proof stages offer beyond automated PR checks. The verification example looks rather standard.

To me, the biggest bottleneck is the fact that automated checks don't catch everything. I still need to read through the code myself before I trust it.