Automated Discovery of Local Search Heuristics for Satisfiability Testing