argsparse_has_option_property: 'default' property value can now be retrieved