Review for NeurIPS paper: Small Nash Equilibrium Certificates in Very Large Games