fix(programs): interpret max_top_up as units of 1,000 lamports (L-07)#2265

ananas-block merged 2 commits intomainLightprotocol/light-protocol:mainfrom

jorrit/fix-certora-l07-max-top-up-unitsLightprotocol/light-protocol:jorrit/fix-certora-l07-max-top-up-unitsCopy head branch name to clipboard