To the OP, there is another option, which would be:

5) Diversify these 12 BTC, selling some portion of them and acquiring other asset classes

As of this posting, 12 BTC is worth circa $60-65K in the markets.  Your other options all stay entirely within crypto, which is not perfectly wise, in my opinion.  Owning some combination of equities, debt instruments, precious metals, real estate, crypto, etc would be wiser, while still acquiring more BTC using your, apparently, proven method as mentioned by other posters.  That is what I would prescribe.