numpy>=1.22.4,<2.0.0 rich tqdm tyro polars