Update Bytecode Spec.md