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.