PatriciaValidator: implement non-inclusion for storage proof

[pinkiebell]

The Patricia validator contract only supports validating storage proofs for non-zero values (valid leaves). However, the dropMessage method requires to proof that a storage value is zero (not in the storage tree).

This can be a dedicated function instead of being merged in _validatePatriciaProof if that is easier to implement.