I agree, the devkit boards are very reasonable now days. I think the part that should be in the cloud is the SDK's. The synthesis is the most computationally expensive part and you could cut compile times down by an order of magnitude if you could run you dev on big iron.