The security issue CVE-2024-56431 was discovered using GCC address sanitaztion. Make it easier to run this check, and run it in gitlab CI.
Based on a comment in !28 (merged).