[sanitizer] added class BVGraph, to be used in a deadlock detector; added more methods to the bit vectors