add separate MonitorState field for the verified partial STH of the current batch, and outline a method to compute the hash
implement hash of an entire tree