Residual dynamic mode decomposition: robust and verified Koopmanism. (25th January 2023)