Remove hardcoded function resolution

[frangio]

Fixes #3883

This should be removing all hardcoded function resolution.

As a consequence, in ERC721 I have switched it to checked arithmetic for _balances[from] -= 1, to avoid overflow if _ownerOf is overriden and out of sync with the mapping.

[changeset-bot]

🦋 Changeset detected

Latest commit: 71ff0c4

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package

Name	Type
openzeppelin-solidity	Major

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

[Amxx]

As a consequence, in ERC721 I have switched it to checked arithmetic for _balances[from] -= 1, to avoid overflow if _ownerOf is overriden and out of sync with the mapping.

That part I'm not sure about. We considered that option in ERC721Consecutive, With an additional balance

mapping(address => uint256) private _balanceFromConsecutiveMints;

function _balanceOf(address user) internal virtual view returns (uint256) {
    unchecked {
        return super._balanceOf(user) + _balanceFromConsecutiveMints[user];
    }
}

Which overflow balancing out. If we make the balance update in _transfer checked, we kill that pattern.

---

Everything else looks good.

[frangio]

I would come back to the ERC721Consecutive issue when we work on the ERC721 hook refactor.