For anyone interested, they used Scaleform which is a middleware a lot of games would use to have flash-based UI. It's technically a discontinued product but even Hitman 3 last year used it.
As crappy as Flash is for security, it was such a good tool for interactive animations.
Here's a list of games that used Scaleform, though it often isn't used as the only UI system. Sometimes it's just main menus or world-space UI elements. Found in a quick Google so I can't guarantee it's totally accurate, but I know many on here are correct.
When I was doing work for Nickelodeon around the iPad 1 days, we just could not get around the fact that flash was an amazing tool for animation and anything else we used would have tradeoffs. Tech-wise, a poor product. As a tool for design-minded people? Unmatched.
