Add validation for StartSection

* The index is required to be within the bounds of the Code Section array.

Author: cjamthagen

TBInit.py

@@ -273,7 +273,15 @@ def ExportSection(self):
         return(True)
 
     def StartSection(self):
-        pass
+        section = self.module.start_section
+        if section is None:
+            return(True)
+        index = section.function_section_index[0]
+        csection = self.module.CodeSection
+        if index >= len(csection.func_bodies):
+            return(False)
+        #func = self.module.function_index_space[index]
+        return(True)
 
     def ElementSection(self):
         pass
@@ -302,7 +310,8 @@ def ValidateAll(self):
             return(False)
         if not self.ExportSection():
             return(False)
-        self.StartSection()
+        if not self.StartSection():
+            return(False)
         self.ElementSection()
         self.CodeSection()
         self.DataSection()