Exclude diagnostics, such as WT_ASSERT, from the code coverage of the test/model's runs to remove branches and lines from the coverage that we do not expect to hit if RTS is indeed correct. (Keep the diagnostics for regular test runs.)