Made things faster, and a slight bit smaller.
varint_encoding is broken. Don't use that yet.
Made various reasonable settings the default.