Merge devel into main: largest change is code formatting checker and enforcement in CI

see here for main change in formatting: !191 (closed)

In that MR, there are instructions on how to applying the code formatting rules to code that fails the CI because of format_checks.