Verifier: Improve determinism analysis and checksum query recording

[caithagoras]

== RELEASE NOTES ==

Verifier Changes
-----------------
* Fix an issue where checksum query text and ID are not recorded if the checksum query fails.
* Add new columns ``control_session_properties`` and `test_session_properties` to ``verifier_queries``, and remove column ``session_properties_json``. The value of the removed column can be copied to the two new columns for the schema change.
* Add details of determinism analysis runs to the output.
* Add configuration property ``max-determinism-analysis-runs`` to control maximum number of determinism analysis runs in case of column mismatch.
* Add configuration property ``run-teardown-for-determinism-analysis`` to allow disabling teardown for determinism analysis runs.

[mbasmanova]

@caithagoras What is Limit here stands for? Why not just QueryDeterminismAnalysis or better yet QueryDeterminismAnalysisResult?

[caithagoras]

We do an additional determinism check for queries with LIMIT clause on the outer layer if all previous determinism analysis runs say DETERMINISTIC, and that's the LimitQueryDeterminismAnalysis.

Select/Insert/CreateTableAsSelect queries with LIMIT clause at the same level of the select query are eligible, expect for queries with ORDER BY clause at the same level.

• SELECT ... LIMIT ...
• SELECT ... UNION ALL SELECT ... LIMIT ...
• INSERT INTO ... SELECT ... LIMIT ...
• CREATE TABLE ... AS SELECT ... LIMIT ...

What we do:

• We run a count(1) query with the LIMIT clause removed to get the total row count.
• If total row count > limit count, treat as non-deterministic.

[mbasmanova]

@caithagoras Thanks for explaining? Would you add this to the docs if it is not there already?

[caithagoras]

Will add this to a separate PR: #12686

[mbasmanova]

@caithagoras That PR seems to be stuck for a few months now. What's blocking it?

[caithagoras]

I'll need to address the comments. There is no blocker.

[mbasmanova]

@caithagoras Export checksum query and query id even if the query fails looks good.

[mbasmanova]

@caithagoras Export determinism analysis details looks good.

[mbasmanova]

@caithagoras Make determinism analysis run count configurable looks good.

[mbasmanova]

@caithagoras Fix variable name in VerifierConfig looks good

[mbasmanova]

@caithagoras Add an option to disable teardown for determinism analysis runs looks good too.

Overall, very clean PR. Thanks for breaking things up into small commits.