Frappe hardens its test suite with a large batch of new assertions

Adds comprehensive assertions to critical code paths to improve regression detection.