sol_Bo8des9o/openzeppelin-contracts @ formal-verification

Hadrien Croubois e0fa84a6b7 Merge branch 'master' into formal-verification		%!s(int64=2) %!d(string=hai) anos
..
erc4626-tests @ 8b1d7c2ac2	c7315e8779 Add ERC4626 standard property tests (#3792)	%!s(int64=2) %!d(string=hai) anos
forge-std @ ca8d6e00ea	80ae402387 Add fuzz tests for Math.sqrt & Math.logX using Foundry (#3676)	%!s(int64=3) %!d(string=hai) anos