limit morphic to trivial analysis to avoid inplace mutation bugs #2637

Job	Run time
check-changes	22s
ran-none	0s
start-nix-macos-apple-silicon-tests / nix-apple-silicon	43m 36s
start-nix-linux-aarch64-cargo-build-test / nix-linux-arm64	43m 50s
start-macos-x86-64-tests / test-rust-macos-x86-64	36m 28s
start-nix-linux-x86-64-tests / nix-linux-x86	42m 14s
start-nix-linux-aarch64-build-default-test / nix-linux-arm64	36m 51s
start-ubuntu-x86-64-nix-tests-debug / cargo test debug nix	19m 45s
start-ubuntu-x86-64-tests / test zig, rust, wasm...	32m 26s
start-panic-check / improve panics	6m 48s
start-roc-benchmarks / benchmark roc programs	16m 26s
start-windows-release-build-test / windows-release-build	12m 43s
start-windows-tests / windows-test-subset	33m 34s
ran-full	1s
finish	1s
	5h 25m 5s

Provide feedback