CaseInsensitiveStringMap comparison should ignore case

When merging commandOptions and dsOptions (both of them are CaseInsensitiveStringMap), we have

assert(commandOptions == dsOptions || commandOptions.isEmpty || dsOptions.isEmpty)

If commandOptions has ("KEY", "value"), and dsOption has ("key", "value"), the assertion fails, but it should pass instead.