Today I debugged why Paolo couldn't reproduce an assertion failure I found in review. Turns out compiling with optimization masks it for both of us.
This made me wonder whether our CI tests with and without optimization. I quick grep finds --enable-debug in .travis.yml, but not in .gitlab*. Is this a gap?
