Making CHMC runnable with zero manifold constraints (reduces to implicit solve of leapfrog update equations).