Support ghost values in all language backends #3098

Job	Run time
config	8s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)	34m 49s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)	28m 18s
build-push-image	0s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)	9m 15s
build (macos-12, 3.10.1.0, 8.10.7, true, false)	44m 53s
build (macos-12, 3.10.1.0, 9.2.7, true, false)	29m 45s
build (macos-12, 3.10.1.0, 9.4.4, true, false)	16m 18s
build (windows-2019, 3.10.1.0, 8.10.7, true, false)	50m 50s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)	29m 24s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)	12m 29s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false, false)	51m 6s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)	11m 1s
saw-remote-api-tests	0s
heapster-tests	0s
mr-solver-tests	0s
cabal-test	0s
Run integration tests with coverage reporting	0s
Test SAW exercises	0s
Test s2n proofs	0s
mergify	0s
	5h 18m 16s

Provide feedback