Adding assert to test Strassen multiplication