#KJ-125 Fix threading tests.
Corrected the optimization in multi-threading model checking.
Wrong: synchronization checkpoints for assignment happen after the actual assignment.
Correct: synchronization checkpoints for both assignment and lookup happen before the actual operation.