The model's own unit tests currently have two sets of functions for most functionalities that we test: one that tests the model by itself, and one that compares the model's behavior to WiredTiger. We might want to merge these tests, or at least, some of the aspects of these tests to remove the redundancy, and also to make it easier to read them.

For example, here is one idea for a better macro that compares the model's output to the WT's actual output to the expected return code and values:

#define wt_model_assert(table, uri, key, ret_expected, value_expected, ...)