The Design and Verification of A High-Performance Low-Control-Overhead Asynchronous Differential Equation Solver