Fix a few bytecode encoding and decoding bugs.