Write spec for path graph. Part of #12
Add spec for complete bipartite graphs. Part of #12
Add spec for petersen graphs. Part of #12