Explore the effect of limiting certain dimensions of a module on determinism and speed

[axic]

Some examples we have considered already to restrict:

• number of locals and of function parameters (and its effect of indexes for locals.get/set/tee)
• number of labels

See section 7.2.1 of the specification for a comprehensive list of properties.