Add regression tests for temp stack variable array issue

Author: JohnDumbell

jbmc/regression/jbmc/temp_stack_variable_packing/External.class

@@ -0,0 +1,5 @@
+public class External {
+    public void Accept(int... args) {
+
+    }
+}

jbmc/regression/jbmc/temp_stack_variable_packing/External.java

@@ -0,0 +1,12 @@
+public class Primary {
+    private External ex = new External();
+
+    public void Run() {
+        this.ex.Accept(new int[]{0, 1, 2});
+        assert(false);
+    }
+
+    public void main() {
+        this.Run();
+    }
+}

jbmc/regression/jbmc/temp_stack_variable_packing/Primary.class

@@ -0,0 +1,7 @@
+CORE
+Primary.class
+--function Primary.main
+^\[java::Primary.Run:\(\)V\.assertion\.1\] assertion at file Primary\.java line 6 function java::Primary.Run:\(\)V bytecode-index 22: FAILURE$
+^VERIFICATION FAILED$
+--
+^warning: ignoring