Chore & Doc: Linting and Generating doc

packages/contracts-bedrock/contracts/test/invariants/Hashing.t.sol

 // SPDX-License-Identifier: MIT
 pragma solidity 0.8.15;
 
-import {Test} from "forge-std/Test.sol";
-import {StdInvariant} from "forge-std/StdInvariant.sol";
+import { Test } from "forge-std/Test.sol";
+import { StdInvariant } from "forge-std/StdInvariant.sol";
 import { Encoding } from "../../libraries/Encoding.sol";
 import { Hashing } from "../../libraries/Hashing.sol";
 
@@ -114,9 +114,6 @@ contract Hash_CrossDomainHasher {
             failedCrossDomainHashV1 = true;
         }
     }
-
-
-
 }
 
 contract Hashing_Invariant is StdInvariant, Test {
@@ -172,5 +169,3 @@ contract Hashing_Invariant is StdInvariant, Test {
         assertEq(actor.failedCrossDomainHashV1(), false);
     }
 }
-
-

packages/contracts-bedrock/invariant-docs/Hashing.md

 # `Hashing` Invariants
 
+## `hashCrossDomainMessage` reverts if `version` is > `1`.
+**Test:** [`Hashing.t.sol#L141`](../contracts/test/invariants/Hashing.t.sol#L141)
+
+The `hashCrossDomainMessage` function should always revert if the `version` passed is > `1`. 
+
+
+## `version` = `0`: `hashCrossDomainMessage` and `hashCrossDomainMessageV0` are equivalent.
+**Test:** [`Hashing.t.sol#L153`](../contracts/test/invariants/Hashing.t.sol#L153)
+
+If the version passed is 0, `hashCrossDomainMessage` and `hashCrossDomainMessageV0` should be equivalent. 
+
+
+## `version` = `1`: `hashCrossDomainMessage` and `hashCrossDomainMessageV1` are equivalent.
+**Test:** [`Hashing.t.sol#L166`](../contracts/test/invariants/Hashing.t.sol#L166)
+
+If the version passed is 1, `hashCrossDomainMessage` and `hashCrossDomainMessageV1` should be equivalent. 
+
+
 ## `hashCrossDomainMessage` reverts if `version` is > `1`.
 **Test:** [`FuzzHashing.sol#L120`](../contracts/echidna/FuzzHashing.sol#L120)