Automatic Reproduction of a Genius Algorithm: Strassen's Algorithm Revisited by Genetic Search