model-checker: Add command-line parser for model checking options.