Automatically search for scenarios instead of listing them all.
Add a scenario showing a kind of deadlock that is unsupported right now.