Documents released on the eve of Reddit’s IPO add some shading to the picture: The company’s revenue growth slowed in the past two years, and average daily users worldwide fell in three of the past 12 quarters. Several years ago, the company projected it would top $1 billion in ad revenue by 2023, but it fell short by roughly 20 percent. The company also lost about $91 million last year.