Combines two varopt() sketches into a new varopt_sketch result,
without mutating either input. a and b must hold the same item type (a
mismatch raises datasketches_incompatible_sketch). The result is sized
for the larger of a and b's configured k.