[sanitizer] added a bit vector class to be used in a deadlock detector