fix setMaxSupply to check total minted

[0xb337r007]

closes #36

Description

Describe the changes made in your pull request here.

including specs from #28

Checklist

Ensure you completed all of the steps below before submitting your pull request:

• Added natspec comments?
• Ran forge snapshot?
• Ran pnpm lint?
• Ran forge test?
• Ran pnpm verify?

[0x-r4bbit]

The change looks good to me, but the formatting seems off (which is probably why this isn't passing the linter on CI).

Can you please update this accordingly?

[0x-r4bbit]

Also, it'd be wonderful if this had a dedicated certora rule that ensures this works as expected.

I've started something here #28
If you want, you can rebase on top of this and add your rule there.

[0x-r4bbit]

This is unfortunately still not passing the prover.
Problem is that the invariant of maxSupply >= totalSupply() doesn't hold when setMaxSupply() is called with any value lower than totalSupply

[0x-r4bbit]

Another invariant is failing similar to what I've pointed out here: #28 (comment)

I wonder if this is related to the ERC721Enumerable numer/id tracking

[0x-r4bbit]

Approved changes.
Bonus points if commits are cleaned up.

Great job!