Fix typo verify script

This just fixes where -v clobbers -s option (typo), and makes the script executable. Low priority, of course.