Prompting for Robust Spreadsheet Formulas and Edge-Case Tests