Print warning if no progress during synthesis

[edyounis]

During qsearch and leap, we can print a warning if there hasn't been any progress in several steps. This should catch situations where the LayerGenerator is not expressive over a space containing the target.