Was Jim Cramer Right About Cognex Corporation (CGNX)?