mlm-verify: Better handling of options.