More stack arguments

[mitschabaude]

goal: the most common instructions should take stack arguments and support automatically adding const / local.get / global.get

• [x] infer global types and automatic global.get
• [x] {local,global}.set
• [x] memory instructions: store, load