Support streaming inputs in CLI tooling #1061

Job	Run time
Release builds and tests	7m 55s
Additional Builds and Concurrency Tests	13m 35s
sanitize (address)	16m 39s
Basic Checks	20m 32s
Slow tests	13m 23s
sanitize (address, multi-threading)	17m 56s
sanitize (leak)	7m 55s
Measure coverage	26m 12s
sanitize (leak, multi-threading)	7m 57s
miri	3m 15s
	2h 15m 19s

Provide feedback