Effective Certification of Monotone Deep Equilibrium Models