flex_array: add flex_array_shrink function