revisit locking strategy in local runner

the extra `_state_lock` is actually not necessary, and if anything we could/should _probably_ remove it from get_navigable and friends, reason being the recent lane-based re-architecture isolated an execution into its own lane that serializes Checkpoint writes that run as CheckpointTask on that same lane, so the read and write cannot overlap.

however, that's wider refactor beyond the scope fo this PR, and since the lock is harmless and for the sake of symmetry might as well let it stand as introduced here and then revisit clean-up opportunities for redundant locks throughout later.

_Originally posted by @yaythomas in https://github.com/aws/aws-durable-execution-sdk-python/issues/637#issuecomment-5287117584_

Beginne damit, den lokalen Runner und die get_navigable-Methoden zu lokalisieren, und verfolge dann, wie die lane-basierte Ausführung von CheckpointTask durchgeführte Checkpoint-Schreibvorgänge serialisiert. Ermittle, ob _state_lock für diese Lese- und Schreibvorgänge redundant ist. Als erledigt gilt die Aufgabe, wenn die Locking-Strategie nur dort vereinfacht wurde, wo dies sicher ist, und die Bereinigung redundanter Locks klar von dem umfassenderen Refactoring getrennt ist.

Vom Indexierungsmodell aus dem Issue-Text verfasst.