[asan] initial support for experimental basic-block tracing; also add tests for various levels of -fsanitize-coverage