Added a test for superko. (Which does not yet pass.)