zkvm: factor out blockchain state machine in a separate crate

[oleganza]

This would require cleaning up public API of ZkVM and maybe refactoring relation between zkvm::merkle and zkvm::utreexo modules.

End goal: ZkVM crate is fully stateless and not concerned with tx ordering, state commitments, and utreexo accumulator.

[oleganza]

Done in #405