bit more bytecodeProofScript.sml

probably going to need to add the global environment to s_refs