Ps. For anyone struggling with this release. There is a work around for the large files. In options go to CAM-Part > Cleanup CAM-Part and select to remove the stock models.
Still struggling with solid verify though. 2013 is supposed to support multicore and I've got two 6 core intel i7's in my main workstation. It used to fly so I don't understand it. For now I'm using host CAD as that's working fine but I do like solid verify for a clear overview.