Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #6000

Job	Run time
benchcomp-tests	3m 11s
regression (macos-12)	37m 5s
regression (ubuntu-20.04)	19m 57s
regression (ubuntu-22.04)	20m 7s
write-json-symtab-regression	10m 51s
bookrunner	16m 47s
perf	25m 45s
	2h 13m 43s

Provide feedback