Should we CI-build with --disable-module-dirauth and -O0?
In legacy/trac#31552, I diagnosed a bug that only appears in two circumstances:
* on Android with LTO and --disable-module-dirauth
* elsewhere with -O0 and --disable-module-dirauth
Is it worthwhile adding a CI case for this, perhaps on a cron job?
issue