CI: improve sanitizer runs; minor cleanups.