[Feature] Use SnarkVM's implementation for hashing and potentially other functions.

[mikebenfield]

Right now the code in interpreter/src/core_functions.rs implements hashing and casting functions that are intended to duplicate exactly the results we'd get from SnarkVM. It might be better to simply use the implementations in SnarkVM directly. That would guarantee we get identical results. This would require implementing SnarkVM traits like StackMatches and RegistersLoad and others.