Document current intended pass list.
Clean up the way nodes and variables are created.

This tailors the construction routines for direct building from the
bitcode, and provides a helpful wrapper for other clients like
IceTest.cpp and llvm2ice.cpp to map from their node/variable
representation to uint32_t which is used by ICE.
Add gaps to the index space for testing.