Add --verbose flag to tests; refactor saftmain.c to use new libsaft/saftopt.c for some common option processing.