kaustinen: keys that are read but not written end up in the post values

[gballet]

This is still fine, but makes the proofs bigger.

[gballet]

The description is not very helpful, reading it almost a year later. From what I remember, it is either due to the tree reconstruction or the witness itself. Since the witness is going to be redesigned, let's tackle (and probably close) this issue then.