Achieving Precise and Reliable Locomotion with Differentiable Simulation-Based System Identification