Revisit TUI implementation

Currently, the TUI uses custom implementations for progress bars, task lists, and spinners.
`rich` is a python package that already comes with these features and many more (e.g., color).

While a switch is currently not necessary, we should revisit it if:
- we need new features for the TUI
- the current implementation shows inconsistent behavior on other systems