Fix move-compiler panic in case of inlined method use in parameter to…

… inlined method. (#8867)

Includes test case illustrating original bug (aptos-labs/aptos-core#8516)
plus a number of tests to check corner cases of multiple inlining and recursive inlining.
(Several failed without this fix.)

Also replace panic!("ICE expected function parameter to be a lambda") with a more useful diag
output.

GitOrigin-RevId: ea19ce1b272e5e2e979057bd58990e76e6c4d03a

aptos-stdlib/tests/math64_tests.move

@@ -0,0 +1,21 @@
+#[test_only]
+module aptos_std::math64_tests {
+    use aptos_std::math64;
+
+    #[test]
+    fun test_nested_mul_div() {
+       let a = math64::mul_div(1, 1, 1);
+       assert!(math64::mul_div(1, a, 1) == 1, 0);
+    }
+
+    #[test]
+    fun test_nested_mul_div2() {
+	assert!(math64::mul_div(1, math64::mul_div(1, 1, 1),1) == 1, 0);
+    }
+
+    #[test]
+    fun test_nested_mul_div3() {
+        let a = math64::mul_div(1, math64::mul_div(1, 1, 1),1);
+        assert!(a == 1, 0);
+    }
+}