AstSemantics details sext/zext loads and stores for integer types.

Should WebAssembly also support f32→f64 extending loads, and f64→f32 truncating stores?

I'm currently teaching LLVM about load/store, and for now I can tell it to just expand these out to the appropriate instruction pair (what we call promote and demote).