[C++] `RecordBatch::MakeEmpty()` may drop ordered flag and unsignedness of dictionary types when creating dictionary-encoded column

### Describe the bug, including details regarding any error messages, version, and platform.

Found when working on dictionary encoding in nanoarrow in https://github.com/apache/arrow-nanoarrow/pull/861 ...I have yet to confirm independently of that. The bit of code this affects for me checking a roundtrip of an empty record batch through IPC...I am not sure it actually makes sense for any practical purpose to have an empty (but ordered) dictionary.

```c
EXPECT_EQ(maybe_batch.ValueUnsafe()->ToString(), empty->ToString());
if (data_type->id() != arrow::Type::DICTIONARY ||
!std::static_pointer_cast(data_type)->ordered()) {
EXPECT_TRUE(maybe_batch.ValueUnsafe()->Equals(*empty)) << empty->ToString();
}
```

### Component(s)

C++