The gif is indeed a bit rushed, I'll see if I can get it looking a bit better soon-ish.
The video is up on YouTube where it can be paused.
Edit: Just now seeing you asked about updates.
I added support for clang's branchless ternary comparisons, and increased the granularity of the analyzer.