add nested aggregate alignment test

Author: tonghaining

dartagnan/src/test/java/com/dat3m/dartagnan/spirv/basic/SpirvAssertionsTest.java

@@ -128,6 +128,7 @@ public static Iterable<Object[]> data() throws IOException {
                 {"alignment.spv.dis", OPENCL, 9, PASS},
                 {"alignment2.spv.dis", OPENCL, 1, PASS},
                 {"alignment3.spv.dis", OPENCL, 1, PASS},
+                {"alignment4.spv.dis", OPENCL, 1, PASS},
         });
     }