change sanitizer flags: add address sanitizer, remove floating-point checks that are not UB