Rigorous Computation of the Evans Function