Add proptest for breakdown-reveal aggregation #5487

Job	Run time
Basic Checks	19m 34s
Measure coverage	9m 45s
Additional Builds and Concurrency Tests	13m 25s
miri	4m 31s
Release builds and tests	11m 39s
sanitize (address)	19m 1s
Slow tests	14m 3s
sanitize (address, multi-threading)	18m 21s
sanitize (leak)	9m 47s
sanitize (leak, multi-threading)	8m 3s
	2h 8m 9s

Provide feedback