showed the upper bound for make_array_naive

pulled in the le_util.v file from the dir above

(at some point we should figure out what we want to
keep of the old approach (probably at least a little bit
to be able to explain it later) and then merge these
directories)