Add skeleton verify, verify_test files
Switch to the slightly more featureful goopt library