update initCompEnvTheory for VfromList initial bytecode

the empty_bc_state now includes VfromListCode, and the invariants about
labels are tweaked accordingly.