To me it seems that just declaring them unspendable is the option that changes incentives/rules the least. Giving the coins to miners changes the rules.
Actually, leaving it alone is the option that changes the rules the least. Putting a lifetime on coins is a
huge change, regardless of what happens when they expire.