Renames PhasedWriterReaderLock to WriterReaderPhaser, and some improved efficiency