Separate GUI verifier with basic reporting (#1823).