added verify() to struct options_list
updated makefile and main.cc