added some timing stuff for the unravel version of make-array