Updating; improving libats/linmap_randbst and libats/linmap_skiplist.