Add tests ensuring equivalence between zkvm and native Rust

[wwared]

As we've optimized more of the codebase for the zkvm context, we've ended up with slight duplication of functionality. Ideally we should have some simple tests that can be run inside the zkvm ensuring the native rust and the in-rust functionality are still an exact match.