SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers