Various scripts for running kasan and ktsan