checklocks: drop duplicate NUD precondition

recomputeReachableTimeLocked already declares its write-lock requirement
with checklocks. Remove the duplicate prose so the annotation states
the lock contract once.

Assisted-by: Codex