Merge pull request #1506 from andyleiserson/feature-cleanup #5610

Job	Run time
Basic Checks	22m 11s
Measure coverage	29m 49s
Additional Builds and Concurrency Tests	16m 50s
miri	4m 49s
Release builds and tests	13m 0s
Slow tests	21m 48s
sanitize (address)	18m 5s
sanitize (address, multi-threading)	21m 41s
sanitize (leak)	9m 19s
sanitize (leak, multi-threading)	9m 56s
	2h 47m 28s

Provide feedback