verify.h: move barvinok_options into verify_options