add (real) solve_all benches
add (real) solve_all benches

deduplicate benchmark implementations via macro and correct bench names
solve_all used to test is_uniquely_solvable which is almost the same
codepath but not quite

Emerentius/sudoku