Add support for proofs

[lightclient]

It may be helpful to have a command that takes a hash tree root and an SSZ partial and return whether the values in the SSZ partial are valid members of the root.