Patcher to add k-level-asynchronous breadth-first search to Galois.