new option to json_value_destroy.