docs: fix typos (#425)

* correct the article README.md

Signed-off-by: Christina <[email protected]>

* add missing verb Enabled.spec

Signed-off-by: Christina <[email protected]>

* fix Reentrancy.spec

Signed-off-by: Christina <[email protected]>

* fix pronoun README.md

Signed-off-by: Christina <[email protected]>

* Update Enabled.spec

Signed-off-by: Christina <[email protected]>

* Update Reentrancy.spec

Signed-off-by: Christina <[email protected]>

* Update certora/specs/Enabled.spec

Co-authored-by: MathisGD <[email protected]>
Signed-off-by: Christina <[email protected]>

---------

Signed-off-by: Christina <[email protected]>
Co-authored-by: MathisGD <[email protected]>

README.md

@@ -6,7 +6,7 @@ MetaMorpho is a protocol for noncustodial risk management on top of [Morpho Blue
 It enables anyone to create a vault depositing liquidity into multiple Morpho Blue markets.
 It offers a seamless experience similar to Aave and Compound.
 
-Users of MetaMorpho are liquidity providers that want to earn from borrowing interest without having to actively manage the risk of their position.
+Users of MetaMorpho are liquidity providers who want to earn from borrowing interest without having to actively manage the risk of their position.
 The active management of the deposited assets is the responsibility of a set of different roles (owner, curator and allocators).
 These roles are primarily responsible for enabling and disabling markets on Morpho Blue and managing the allocation of users’ funds.
 

certora/README.md

@@ -26,7 +26,7 @@ certoraRun certora/confs/Range.conf --rule timelockInRange
 # High-level description
 
 A MetaMorpho vault is an ERC4626 vault that defines a list of Morpho Blue markets to allocate its funds.
-See [`README.md`](../README.md) for a in depth description of MetaMorpho.
+See [`README.md`](../README.md) for an in depth description of MetaMorpho.
 
 ## ERC20 tokens and transfers