Blockchain SNARK: restructure the step circuit for readability and regenerate the dev/devnet/mainnet blockchain verification keys. Refreshes the per-profile constraint-count tables in `blockchain_snark_state.mli` and the corresponding circuit-stats, chain-id, and verification-key regression fixtures.
