[sunfish]

As context, at the time of those issues, the control-flow restrictions were a compromise to help get the "MVP" off the ground, with the understanding that "more expressive control flow" was expected to be added later:

https://github.com/WebAssembly/design/blob/master/FutureFeat...