Huh, I'd assumed they were doing some type of emulation thing (which is still impressive as heck), are they actually executing native instructions on a non-Apple CPU?

Actually, I'd love to read more about Corellium in general—have they made any technical details public, even high level? They seem to be very secretive about how it all works—which, to be fair, I can totally understand.