some updates to bytecodeProof given new CVectorv value
implementation of VfromList in bytecode

(not yet proven or connected up with compiler invariants)