Add regression tests for temp stack variable array issue

Author: JohnDumbell

jbmc/regression/jbmc/temp_stack_variable_packing/External.class

@@ -0,0 +1,7 @@
+package stuff.array_issue;
+
+public class External {
+    public void Accept(int... args) {
+
+    }
+}

jbmc/regression/jbmc/temp_stack_variable_packing/External.java

@@ -0,0 +1,9 @@
+package stuff.array_issue;
+
+public class Primary {
+    private External ex = new External();
+
+    public void Run() {
+        this.ex.Accept(new int[]{0, 1, 2});
+    }
+}

jbmc/regression/jbmc/temp_stack_variable_packing/Primary.class

@@ -0,0 +1,6 @@
+CORE
+Primary.class
+--function stuff.array_issue.Primary.Run
+^VERIFICATION SUCCESSFUL|VERIFICATION FAILED$
+--
+^warning: ignoring