Simon's Algorithm and Symmetric Crypto: Generalizations and Automatized Applications