Module passes
walrus
Passes over whole modules or individual functions.
Removes any non-referenced items from a module
Validation of a wasm module
Finds the things within a module that are used.