The \emph{Optimist}: Towards Fully Automated Graph Theory Research