Add `--debug-asm-symex-first` #898

Job	Run time
docker-master	1h 30m 54s
test-standalone (master, dev, default)	1m 20s
publish-standalone-dry-run	14s
validate-docker-master	2m 57s
build-js-of-ocaml (master, 4.11.1)	5m 31s
build-wasm-of-ocaml (master, 4.14.1)	18m 28s
generated-files (master)	23m 38s
test-amd64	2h 17m 2s
standalone-haskell (master)	47m 43s
deploy-js-wasm-of-ocaml	1m 21s
docker-check-all	3s
	5h 29m 11s

Provide feedback