Make SFCS coverage lanes live

[JROChub]

Summary

• turn the SFCS private VM proof coverage cells into live lane meters
• update bitwise, compare, branch, and memory states through the verifier run
• add cache-busted app-v0331 bundle for the public site

Verification

• node --check publicpower/app.js
• node --check publicpower/app-v0331.js
• git diff --check
• python3 scripts/test_reliability_campaign.py
• local browser click-run assertion for SFCS PRIVATE VM lanes, counters, and accepted state
• desktop and mobile screenshot inspection