Improve KCSAN documentation a bit