[Feature] Trim an SMT based on a read list

[cffls]

Create a function that, given a read list, trims off irrelevant trie nodes (the ones not in the list) from a SMT by turning them into hash nodes. The signature will be something like below:

func TrimSMTWithReadList(s *SMT, readList TxnInfo) (s *SMT, error)

TxnInfo:

cdk-erigon/core/types/trace.go

Lines 86 to 89 in dae09e3

	type TxnInfo struct {
	Traces map[libcommon.Address]*TxnTrace `json:"traces,omitempty"`
	Meta TxnMeta `json:"meta,omitempty"`
	}

The implementation will be similar to:

cdk-erigon/smt/pkg/smt/witness.go

Line 121 in c2d0368

func BuildSMTfromWitness(w *trie.Witness) (*SMT, error) {

To verify the correctness of the implementation, the state root of the trimmed SMT should match to that of original SMT.