VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq