Added option for verify() to return None on error

This is used when verify() is being called by verify_all() so that the
program does not exit after the first erroneous problem file.