WebAssembly: validate load / store alignment