Split native primitive operation proof support

* Split native primitive operation proof support

* chore: auto-refresh derived artifacts

* chore: retrigger proof checks

* Tighten native harness simp proofs

---------

Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>

Author: Th0rgal