updated merkle trie
added checkpointing to VM