nospec: Move array_index_nospec() parameter checking into separate macro