Weak-Memory Local Reasoning