Confirmed Burby LD0 yields DEL satisfied by fixed points
Wrote test for DiscreteLagrangian.DELHessian