Check more syntactic limits in Wasm modules

[andreaTP]

Reference to spec:
https://webassembly.github.io/spec/core/appendix/implementation.html#syntactic-limits

Currently most limits in WasmLimits are not checked.

Imposing those limits will harden the security of the engine and put it "on par" with other runtimes.