Make verify.py executable