swift234

SpeculativeDevirtualizer: erase a dead block and not just remove it from the function.

And add a few asserts to make the code clearer.