Rigorous computation of Maass cusp forms