Open
Description
Currently Validator stores many of its types and such in locally-defined vectors, but this necessitates heap allocation and support of all possible wasm modules. We should ideally support a form of generic validation which doesn't require any heap allocation at all, for example having maximums of functions, types, etc.