Use a much better compression scheme for bytecode lengths.