Set `prof:true,prof_active:false` #544

Job	Run time
miri	4m 28s
Additional Builds and Concurrency Tests	14m 12s
Measure coverage	30m 41s
Basic Checks	20m 22s
Release builds and tests	13m 30s
sanitize (address)	20m 57s
Slow tests	18m 56s
sanitize (address, multi-threading)	19m 27s
sanitize (leak)	11m 36s
sanitize (leak, multi-threading)	8m 37s
	2h 42m 46s

Provide feedback