Add pretty printer for ASAN_MARK and add a helper fn