Test cases for HasCycle and IsBipartite. Both fail.