fix(witness): collect witness using sparse trie

[rkrasiuk]

Description

Closes #12859

[meyer9]

Verified this fixes the provided test case! I can open a PR with my test case if you want, but I wonder if we can fuzz it more generally:

1. insert some random values
2. generate witness inserting and deleting some of those values
3. verify that we can compute the new state root with only the witness

We could probably utilize the sparse tree implementation to do 3. Let me know if this makes sense and I'll work on creating a test like this, otherwise, I can just add the more simple test.

[mattsse]

@meyer9 if you could provide more test vectors that'd be helpful, but marking this a completed