Integrate storage proving scheme

[markspanbroek]

Currently, we use a placeholder for checking storage proofs. This needs to be replaced by an actual storage proof check.