add test for type `HistoricalSummariesWithProof` and `HistoricalSummariesWithProofKey`
add test for type
HistoricalSummariesWithProofandHistoricalSummariesWithProofKey