What you are seeing with the car in the air and one wheel turning and the other one not turning is normal for an "open" or "non-posi" differential, which is why these cars have traction control.
Just got off the phone with the shop, and they told me the same thing, that these cars hve an open differential, so that was normal. I was actually just forum searching to confirm this, and it found my post with your reply. Thanks for the info though, I appreciate the confirmation.