Explainer for unified stack-switching proposal

[slindley]

The new explainer describes a unified proposal which combines the previous typed continuations (WasmFX) and bag-of-stacks (BoS) proposals into one.