comment out strassen correctness