There are certainly a lot of good practices such as ensuring any formulas are compatible with "fill down". It'd make for a nice standard, like MISRA C.

If you wanted automatic formula auditing, I'd recommend using R1C1 reference style so formulas using relative references are independent of the cell's location, then use FORMULATEXT function, and an array formula applied over the whole range you want to check.

Then you could be sure.