Rename verified_? and change its return type

From the commit message:

There's no reason to have a Boolean-returning
function which can only return true. Therefore,
I made it Unit-returning. I also changed the
name to assertVerified, as this name seems to
better describe what it does.