replace SMT with jelyfish implementation from pokt network

[zorjak]

closing this PR because we cannot use pokt network implementation since it deletes updated nodes so it does not preserve the history.