SubtypingDiscoverer: Handle values flowing out of br_if#8101

kripken merged 3 commits into

WebAssembly:mainWebAssembly/binaryen:mainfrom

kripken:se.fix.extractedkripken/binaryen:se.fix.extractedCopy head branch name to clipboard