Implement optimal range state update for SMT

[xgreenx]

The sparse Merkle tree implements from_set methods that initialize the tree in an optimal way. In the same way, we can create a function that performs a range update reducing the number of going up and down a tree(and interactions with the storage).

It may speed execution of the contracts that updates a lot of storage slots.