The actual mistake is pretending like they can't leverage those shares to access fiat, for example securities-backed loans. The proceeds aren't taxable income, the bank gets its interest, and the latter is typically substantially cheaper than realizing the shares and paying capital gains tax. Meanwhile, they keep the assets, which on average continue appreciating.

The obvious correct solution is to tax securities-backed loans the same as selling the securities.