Add generate and verify logic for `AncestryProof` #378

Job	Run time
set-image	8s
fmt	1m 54s
test-rust-features	2m 51s
check-rust-feature-propagation	2m 50s
check-toml-format	1m 46s
check-dependency-rules	1m 46s
	11m 15s

Provide feedback