generalize ExpandWithOverflow to handle completely nonconstant additions
ignore fences
exceptions whitelist option, for emscripten EXCEPTION_CATCHING_WHITELIST
support llvm.used
abort on loads from constant addresses in general, not just based on weird alignment
remove extra indentation on runPostSets