If we have a previous set of values, we also check the consistency proof between
these two to make sure the tree has not been tampered with.