fix(zktrie): fix deletion proofs and collect them in commiting phase

[noel2004]

Here is the second fixing on deletion proof base on issue #253 and it replace PR#247.

With this PR, we:

1. Search all possible deletion proof for a arbitrary sequence of operations involving deletion of storage slots at the end of tracing a block, with a trivial cost being added to each tx tracing, and no blocking on the parallel executions
2. The search process itself should be low cost (only travelse among each mpt path, all data is in-memory and only looking up in map is involved, no extra updating on trie or hash calculations
3. The collected deletion proof should be "barely enough", i.e it is enough for witness generator to deduce state root under any operating sequence, while no extra proof would be included

[noel2004]

Has been tested under some artificial contract

[noel2004]

We have run a node with this PR as a patched for a month and it seems to be stable with --mptwitness being enabled. The block trace obtained work as expected.