Add a naive pass to remove unreachable blocks.

We will make it smart and fast later.