feat: decompose `Instruction::Constrain` into multiple more basic constraints #4793

Job	Run time
build-linux (x86_64-unknown-linux-gnu)	3m 35s
build-linux (x86_64-unknown-linux-musl)	4m 23s
build-apple-darwin (x86_64-apple-darwin)	6m 24s
build-apple-darwin (aarch64-apple-darwin)	7m 52s
	22m 14s

Provide feedback