💥 Implement ERC-4626 Tokenised Vault

[pcaversaccio]

Closes #18.

In addition to the standard ERC-4626 functionalities, we also implement a math function called mul_div that calculates x * y / denominator (for, x, y, denominator each of type uint256) with 512-bit precision, following the selected rounding direction. This function is part of the Math contract (see issue #72).

For the property-based tests of the ERC-4626 contract, we make use of ERC4626 Property Tests using the following specifications:

_delta_ = 0;
_vaultMayBeEmpty = true;
_unlimitedAmount = true;

♻️ Refactors

• We enforce a clean build (via foundry.toml) only for the CI runs and use locally the cache. Also, we set max_test_rejects = 150_0000 for the CI runs to prevent failing tests due to too many rejections triggered by ERC4626 Property Tests.

📖 Improved Documentation

• Fix typos in ERC20, ERC721, EIP712DomainSeparator.
• We add CHANGELOG entries for ERC4626 and Math.
• We add README entries for ERC4626 and Math.
• We add code comments on external code size checks in BatchDistributor, Multicall, and SignatureChecker.

🔁 Dependencies

• We add ERC4626 Property Tests as Foundry dependencies.
• We bump the Solidity version to 0.8.19 (fixes 🔁 Upgrade to Solidity Version 0.8.19 #83).
• We bump ethers to version 6.0.8.
• We bump eslint to version 8.35.0.
• We bump @types/node to version 18.14.0.
• We bump esquery to version 1.4.2.
• We bump all submodules to the latest available commits.

[pcaversaccio]