When we import a block, we execute txs in it and mutate the trie. However, if the state root hash does not match, we need to undo the changes. This does not happen now. Alternatively, we need to find a way to compute the state root without mutating the trie. This would also be important for mining.