improved deserializer's read_variable_uint()