Is there any specific reason to use `block` instead of `block_index`?

Usually, `block` is used to mean `BlockEnvironment` around here. So, I think just reusing of `block_index` is just fine to avoid confusion (btw, I'm paused to think that why it is needed for `CompiedCode` to have `BlockEnvironment`)