test/model does not currently work with ASAN due to an issue with the way the test executables are linked. We should resolve this issue, and if appropriate, enable it in ASAN to get better testing coverage.