Merge pull request #2898 from gilles-peskine-arm/asan-test-fail-development

Make sure Asan failures are detected in 'make test'