switch GarageDoor to LeakageSemantics #813

Job	Run time
docker-master	1h 29m 10s
publish-standalone-dry-run	15s
test-standalone (master, dev, default)	1m 22s
build-wasm-of-ocaml (master, 4.14.1)	20m 51s
validate-docker-master	2m 26s
build-js-of-ocaml (master, 4.11.1)	8m 59s
standalone-haskell (master)	46m 21s
generated-files (master)	23m 10s
test-amd64	2h 17m 39s
deploy-js-wasm-of-ocaml	54s
docker-check-all	1s
	5h 31m 8s

Provide feedback