Rename verified_? and change its return type

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.
Merge pull request #43 from clhodapp/refactor/fix-verified-assertion-name

Rename verified_? and change its return type