I think the principles behind Corellium are good (can we build an iOS toolchain without Apple?) but everything I heard about the implementation was unfortunately also negative. I think it would be a lot easier to stand behind them if they separated their product and service offerings, maybe making the iOS bootstrapping code Open Source, but providing ARM instances with commercial support at-cost. In it's current state, though, I can't root for them any more than Oracle or Apple themselves.