Removing the manual confirmation, adding a crash on a failure'
Add a deliberately slightly hard to use option to make the solver run automatically