Add proptest for breakdown-reveal aggregation #533

Job	Run time
Basic Checks	8m 6s
Additional Builds and Concurrency Tests	16m 19s
Measure coverage	28m 49s
miri	3m 7s
Release builds and tests	10m 0s
sanitize (address)	19m 48s
sanitize (address, multi-threading)	18m 48s
Slow tests	14m 26s
sanitize (leak)	7m 43s
sanitize (leak, multi-threading)	7m 58s
	2h 15m 4s

Provide feedback