Exitblocks optionally delete separable paths #2
Description
The exitblocks code seems to work well, but we could take that and reduce code size by, at least, removing branch paths that are exitblock'd and if they are separable from the program, remove.
Another option to ponder, but may not work correctly due to the block hashing done in fuzzers, like AFL, is to remove those exitblocks as well and always jump to a common exitblock. I worry about how instrumented code blocks are kept track of, which is why I am hesitant to do this one.