Module passes
walrus
Passes over whole modules or individual functions.
Validation of a wasm module
Finds the things within a module that are used.