What you say is we need an independent script that verifies the Monero supply. It's actually a great idea as this has been the most prominent critique from maxis.

Pedersen commitments are well understood.