Revert "Don't use DPLL cascading yet, it's incomplete"

This reverts commit ebce7a3e441132f72dddec8b9480b8c15c32b340.