feat(admin): emit AsmStfUpdate log on ASM verifying key update

[prajwolrg]

Description

Implement AsmStfUpdate log emission when an ASM predicate update activates and add tests to verify it.

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• New feature/Enhancement (non-breaking change which adds functionality or enhances an existing one)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation update
• Refactor
• New or updated tests
• Dependency update
• Security fix

Notes to Reviewers

Checklist

• I have performed a self-review of my code.
• I have commented my code where necessary.
• I have updated the documentation if needed.
• My changes do not introduce new warnings.
• I have added tests that prove my changes are effective or that my feature works.
• New and existing tests pass with my changes.

Related Issues

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

Files with missing lines	Coverage Δ
crates/subprotocols/admin/src/handler.rs	91.01% <100.00%> (-3.74%)	⬇️

... and 6 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[github-actions]

Commit: ba284fe
SP1 Execution Results

program	cycles	success
ASM STF	118,483,762	yes
Moho Recursive	11,586,699	yes