[Configure] document --asan option