Add proptest for breakdown-reveal aggregation #5489

Job	Run time
miri	4m 53s
Basic Checks	19m 18s
Additional Builds and Concurrency Tests	15m 16s
Measure coverage	11m 53s
Release builds and tests	10m 33s
sanitize (address)	17m 16s
Slow tests	14m 32s
sanitize (address, multi-threading)	18m 17s
sanitize (leak)	7m 50s
sanitize (leak, multi-threading)	9m 23s
	2h 9m 11s

Provide feedback