So since he hasn’t executed on the options, there’s nothing he has to actually pay back, but he also won’t be allowed to exercise those options and purchase what would have been $56 billion worth of dirt cheap stocks?
Yes. Options have expiry dates. Him letting the options expire cuts off those cheap stocks for him.
Net worth calculations take all known assets into account, this includes options. Naturally the options are completely worthless now.