[PM] Fix a contradiction in the comments noticed by Anders.

Have I mentioned that functions returning true on error and false on
success are confusing? They're more confusing when their name is
"verify". Anyways...

llvm-svn: 199622