Roblox’s daily users fell 9% from a year ago, and it expects holiday bookings to drop too.