1.0 release

Some minor documentation updates still pending, but the code is sound
at this point (within reasonable expecations).