Run the verifier single-threaded.

Also improve crash dumps so the frame numbers are the same as when you're
in gdb, and add a more memorably-named environment variable for waiting
for gdb.

Change-Id: Icbeba9b60cc98102e49eee9266d97fbcc1783f53