Walkthrough assets

Inline-streamable MP4 asset used by the main README. Regenerated automatically by .github/workflows/walkthrough.yml.