Renamed enum
Added new wireCounter for list of lists
Added some more strict checks to make verify input circuit
Added comment
Added a SPACL parser and updated Driver code