[analysis] Add a "Shared" lattice to represent shared state#6067

tlively merged 4 commits into

mainWebAssembly/binaryen:mainfrom

shared-latticeWebAssembly/binaryen:shared-latticeCopy head branch name to clipboard