Nicely written. Testing may not be as interesting as experimenting but it is key to building software. I recently wrote a couple of articles covering the specifics of TDD in ML, and the development of said test suite quickly proved its worth. Finite difference validation is the perfect case study for the testing of a mathematical software contract.