I wonder if there's a marketing reason for not shrinking the lenses. A big lens screams "better" more than a smaller lens at a casual glance for the uninitiated user.
The marketing gimmick for awhile was ultra-zooms which allow for smaller lenses via fixing distortion using DSP, but this degrades the image quality, and so never became a solution for RAW shooters.