A KAM theory for conformally symplectic systems: Efficient algorithms and their validation