Fail hard when a non-Assume instruction turns an invariant into bottom #1460

Job	Run time
build_windows (Debug, tests)	35m 34s
build_ubuntu (Debug, tests)	27m 25s
build_windows (Debug, library)	4m 58s
build_ubuntu (Debug, library)	1m 28s
build_windows (Release, tests)	10m 23s
build_ubuntu (Release, tests)	6m 5s
build_windows (Release, library)	5m 58s
build_ubuntu (Release, library)	1m 58s
	1h 33m 49s

Provide feedback