Pin Ziran 07f12a1, which widens numbers implicitly

This Ziran converts narrower numbers implicitly where no value can
change, so casts that only widen can go. `make check` passes on it,
including the fuzz run.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>