* fix linearizability for non-autocommit async-commit txntxn Signed-off-by: Yilin Chen <sticnarf@gmail.com> * add IsExplicit flag Signed-off-by: Yilin Chen <sticnarf@gmail.com> * set missing cases Signed-off-by: Yilin Chen <sticnarf@gmail.com> * remove redundant assignment Signed-off-by: Yilin Chen <sticnarf@gmail.com> * revert go sum change Signed-off-by: Yilin Chen <sticnarf@gmail.com> * fmt Signed-off-by: Yilin Chen <sticnarf@gmail.com> * clarify comment Signed-off-by: Yilin Chen <sticnarf@gmail.com> Co-authored-by: Ti Chi Robot <71242396+ti-chi-bot@users.noreply.github.com>