Make the montladder proof short again. #458

Job	Run time
docker-master	1h 39m 38s
publish-standalone-dry-run	17s
test-standalone (master, dev, default)	1m 2s
build-wasm-of-ocaml (master, 4.14.1)	13m 48s
validate-docker-master	1m 13s
build-js-of-ocaml (master, 4.11.1)	14m 2s
generated-files (master)	26m 45s
standalone-haskell (master)	54m 50s
test-amd64	2h 20m 31s
deploy-js-wasm-of-ocaml	52s
docker-check-all	3s
	5h 53m 1s

Provide feedback