Better flags for CI
Activate better compile flags in the CI, and fix the resulting errors discovered.
Quite a few problems with our build configuration were highlighted by this process.
Activate better compile flags in the CI, and fix the resulting errors discovered.
Quite a few problems with our build configuration were highlighted by this process.