add vlabs stuff to env_rs, and try to prove some things about env_rs

based on failure to prove env_rs_can_Print, probably the global store
stuff is wrong.