Thea Brick

When using headers, type information is not preserved to the WASM stage which is needed for linking correctly. Namely, if a header file declares a file but nothing ever defines...

Relooper has to recompute a bunch of graph stuff which is done inefficiently. Switching to a dominator based approach would solve this (i think) as well as make the process...