Recursive verifier naming consistency and unit tests

- out of consistency / ease of review / ease of maintenance regarding the mapping of Rust code and MASM, have we ever considered forcing entry points & higher-level function names to match? For instance here I believe `seed_sponge_state` is equivalent to the MASM `init_seed` label.
- do we have lower level consistency tests enforcing the MASM logic to match the Rust one, apart from global tests?

_Originally posted by @Nashtare in https://github.com/0xMiden/miden-vm/pull/2869#discussion_r2979792298_