Support ghost values in all language backends #3151

Job	Run time
config	12s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)	5m 1s
build-push-image	0s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)	4m 42s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)	4m 42s
build (macos-12, 3.10.1.0, 8.10.7, true, false)	4m 56s
build (macos-12, 3.10.1.0, 9.2.7, true, false)	4m 47s
build (macos-12, 3.10.1.0, 9.4.4, true, false)	4m 15s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)	4m 17s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)	4m 18s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)	4m 38s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)	4m 51s
heapster-tests	1s
cabal-test	1s
mr-solver-tests	1s
saw-remote-api-tests	1s
Run integration tests with coverage reporting	1s
Test SAW exercises	1s
Test s2n proofs	1s
mergify	1s
	46m 47s

Provide feedback