txn: fix the incorrect untouch used in optimistic transactions(#30447)

[cfzjywxk]

What problem does this PR solve?

Issue Number: ref #30410

Problem Summary:
When the optimistic transaction is used, the untouched key optimization is not compatible with lazy existence check and results in data inconsistency.

What is changed and how it works?

Disable the untouched optimization for this situation when the presumeNotExist flag is set. Cherry-pick #30447 to release 5.1.

Check List

Tests

• Unit test

Side effects

Documentation

Release note

Fix the data inconsistency caused by incorrect usage of lazy existence check and untouch key optimization.

[ti-chi-bot]

[REVIEW NOTIFICATION]

This pull request has been approved by:

• sticnarf
• youjiali1995

To complete the pull request process, please ask the reviewers in the list to review by filling /cc @reviewer in the comment.
After your PR has acquired the required number of LGTMs, you can assign this pull request to the committer in the list by filling /assign @committer in the comment to help you merge this pull request.

The full list of commands accepted by this bot can be found here.

Reviewer can indicate their review by submitting an approval review.
Reviewer can cancel approval by submitting a request changes review.

[bb7133]

/merge

[ti-chi-bot]

This pull request has been accepted and is ready to merge.

Commit hash: 953c70f

[you06]

Why this PR both have do-not-merge/cherry-pick-not-approved and status/can-merge xD.

[ti-chi-bot]

@cfzjywxk: Your PR was out of date, I have automatically updated it for you.

At the same time I will also trigger all tests for you:

/run-all-tests

If the CI test fails, you just re-trigger the test that failed and the bot will merge the PR for you after the CI passes.

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the ti-community-infra/tichi repository.