Where is the code to do SPV proofs? The python version has a class "ProofConstructor" to do these things: https://github.com/ethereum/pyethereum/blob/master/pyethereum/trie.py