Was The Smart Money Right About Broadcom Inc (AVGO)?