fix types of cli arguments

this MR changes the --max_workers cli parameter to --max-workers, and it adds some type information to the argument parser for certain messaging config parameters

merged

assigned to @Chilipp

By Philipp Sommer on 2024-04-03T06:53:42 (imported from GitLab)

enabled an automatic merge when the pipeline for 839c26bb succeeds

By Philipp Sommer on 2024-04-03T06:53:45 (imported from GitLab)

mentioned in commit e185f6fd

By Philipp Sommer on 2024-04-03T06:58:59 (imported from GitLab)