Add inclusion and consistency proof verification

Note that we are not storing signed tree heads, and there are some error-cases where we should ideally save more of what we observed. So, there is room for improvement but at least we do verification now.

Let's open separate issues for the above.

Closes #1.