Various fixes, add strict tests, only use ASAN on linux, add cleanup before PIN (errors caught by ASAN)