Build TodoMVC demo

[priyanshujain]

A normal example test passes. A Sanderling property test catches a non-trivial bug the example test misses.

Show only the tool finding the bug. No code being written on camera.

Steps:

1. Pick a TodoMVC implementation with a known non-trivial bug. Quickstrom (PLDI 2022) found bugs in nearly half of TodoMVC implementations. Inconsistency in AngularJS and Mithril implementations tastejs/todomvc#2116 documents one in the AngularJS and Mithril implementations.
2. Run it locally against the web driver.
3. Write the obvious example test. It passes.
4. Write the LTL property. It fails with a minimal replayable counterexample.
5. Record a short video: example green, property red, counterexample replayed.