kcsan: Document modeling of weak memory