The alloca coloring patch

I added a new patch which fixes the unnamed-value problem turned up by fuzzing with a Release build. And now that we have OptLevel in JSBackend, I used it to disable SimplifyAllocas and calculateNativizedVars at -O1 and higher, since they are redundant with the regular optimizer.