switch GarageDoor to LeakageSemantics (#2009) #814

Job	Run time
docker-master	1h 28m 30s
publish-standalone-dry-run	18s
test-standalone (master, dev, default)	1m 20s
build-js-of-ocaml (master, 4.11.1)	10m 1s
validate-docker-master	21m 8s
build-wasm-of-ocaml (master, 4.14.1)	20m 30s
generated-files (master)	31s
standalone-haskell (master)	45m 37s
test-amd64	2h 14m 34s
deploy-js-wasm-of-ocaml	1m 5s
docker-check-all	1s
	5h 23m 35s

Provide feedback