settings: change the varint encoding scheme, C side
settings: change data generation to not change generate C code if data didn't change
settings: synchronize python gob encoding with C