Add correctness tests for Euler/RK4 integration

[vratins]

Current eval tests (test_euler_integrate, test_rk4_integrate) only verify output shapes and keys. Add tests for mathematical correctness:

• Test constant vector field produces expected linear trajectory
• Test RK4 convergence matches Euler with higher step count