Better comments and some new utility routines for our LLVM generation

I did these while pursuing an optimization -- which has not yet panned out to be useful, so I'm not ready to submit it. But I'd like to keep this extra LLVM utility infrastructure anyway.