Move verifyAccArray to SimpleArray module and add some more checking.