Bounds checking for multidimensional arrays
Fix crash with procedures taking constrained arrays of signals
Fix invalid LLVM when assigning to array signal in procedure
Fix another corner-case passing constrained arrays to functions
Allow waiting on array signals in procedures