Make all Verified* type class methods total

We generally want proofs to be total.
Merge pull request #1138 from reynir/total-verified

Make all Verified* type class methods total