ASan: stronger warnings in configure, doc updated a bit