Finding Increasingly Large Extremal Graphs with AlphaZero and Tabu Search