Implemented automated test generation for integrators, testing a few steps with a harmonic oscillator.