Problem: changeset verification is not complete

Current changeset verify command replays changeset files to the target version, then compute and verify the root hash, it does a complete verification on the target version, but it's not complete for the intermediate versions, for example if you modify an intermediate value which is deleted later, it don't affect the final hash. The verification is only complete if we verify every single intermediate app hashes against the block headers.