Check if the input graph is strongly connected, or consists of maximal weakly connected components that are strongly connected.

For this milestone, it is enough to implement the check in the verify command.