[sanitizer] Add a bunch of sanity checks.