Drastically simplify changes to verify.go

[aarongable]

This removes a whole layer of abstraction from verify.go, making the changes easier to reason about. It also undoes some of the unnecessary comment updates, making the diff easier to review. I think that, with this change incorporated, we will be very likely to accept letsencrypt#8796.

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}