Merge pull request #3011 from apalache-mc/release/0.46.2 #7039

Job	Run time
compiler-warnings	2m 9s
build-mdbook	6s
docker-tests	21m 14s
format-check	3m 43s
scaladoc-check	3m 1s
unit-tests (ubuntu-latest)	4m 53s
integration-tests (ubuntu-latest, oopsla19)	19m 40s
unit-tests (macos-latest)	4m 11s
integration-tests (ubuntu-latest, arrays)	8m 29s
integration-tests (macos-latest, oopsla19)	15m 44s
	1h 23m 10s

Provide feedback