Make all Verified* type class methods total

We generally want proofs to be total.