[asan] fix the output for range accesses (memset, etc); improve the tests; more strict checking in memcmp