doc: Fold information from the memory model interlude in the tutorial elsewhere

r? @nikomatsakis