Update badges and CI

[devmotion]

A bit of housekeeping: This PR fixes broken and outdated badges and updates CI (eg testing of min instead of hardcoded 1.0; removing hardcoded architectures which are not appropriate for Apple silicon; adding an SSH key to CompatHelper; using julia-actions/cache instead of manually configured actions/cache).