I would lean towards (2) -- I think a finite monetary supply was a top-line goal for Satoshi, and it just so happens that imposing this constraint led to great simplifications of what came before. Check out this talk where I expand on this claim.