WIP: rework of naive_solver after discussion with Robbert

This is a slightly reworked version of naive_solver, which hopefully fails faster. @robbertkrebbers What do you think? What would be other kinds of goals I should try this version on?