BF-34252 could've been caught deterministically by our property tester if we had models for collated indexes and queries. We should extend query_models.js to use collations.

We've had lots of collation issues that can be confusing to debug. PBT can provide a better user experience and smaller repro than working with the fuzzer.