simulator: add counterexample minimization #1300

Job	Run time
plan	18s
build-local-artifacts (${{ join(matrix.targets, ', ') }})	0s
build-global-artifacts	0s
host	0s
announce	0s
	18s

Provide feedback