Added '-verify' option to enable wyc compiler's verification and change
the setting of 'Valid' and 'Invalid' test cases (i.e file path).