Made some locks into read locks to allow for certain interleavings. Granularity of locking has been increased by moving locks to BookStoreBook.