[analysis] Add an abstraction lattice#8036

tlively merged 8 commits into

mainWebAssembly/binaryen:mainfrom

lattice-abstractionWebAssembly/binaryen:lattice-abstractionCopy head branch name to clipboard