null move reduction verification