Add '-v' option to DumpSelectable tool.