Add proptest for breakdown-reveal aggregation #5502

Job	Run time
Slow tests	13m 43s
Additional Builds and Concurrency Tests	13m 8s
Measure coverage	28m 23s
Basic Checks	20m 20s
miri	4m 12s
Release builds and tests	8m 1s
sanitize (address)	16m 30s
sanitize (address, multi-threading)	17m 43s
sanitize (leak)	8m 17s
sanitize (leak, multi-threading)	9m 32s
	2h 19m 49s

Provide feedback