We should be able to pass connection configuration to the model checker via a command-line argument, e.g., `-C` as in the `wt` utility.
We need to do this to pass additional information that the checker needs to open the database, such as the list of extensions and any custom compression, encryption, or collator settings.