small cleanup, after a bit of testing

- better logging of proving attempts
- switched from log_specs to log_phase in a couple of places
- report when verification passes (not only when it fails)
- removed some parts of [Backtrack] that are unused