[ new ] add --show-implicits flag #1205

Job	Run time
initialise	4s
quick-check	5m 37s
windows-bootstrap-chez	23m 23s
nix-bootstrap-chez	18m 40s
macos-bootstrap-chez	5m 42s
ubuntu-bootstrap-chez	7m 1s
ubuntu-self-host-previous-version	10m 23s
ubuntu-bootstrap-racket	12m 29s
macos-self-host-chez	15m 56s
ubuntu-self-host-chez	10m 17s
ubuntu-build-api	4m 7s
ub-test-elab-util	45s
ub-pack-test-pack	12m 2s
ub-pack-test-lsp	14m 33s
ub-test-frex	3m 40s
ub-test-collie	25s
ub-test-katla-and-html	5m 42s
ubuntu-self-host-racket	0s
windows-self-host-racket	11m 51s
	2h 42m 37s

Provide feedback