Merge pull request #398 from crytic/dev/update-medusa-v1.2.0

Dev/update medusa v1.2.0

Author: Jaime-Iglesias

SUMMARY.md

@@ -130,7 +130,7 @@
       - [Types of Invariants](./program-analysis/medusa/docs/src/testing/invariants.md)
       - [Writing Function-Level Invariants](./program-analysis/medusa/docs/src/testing/writing-function-level-invariants.md)
       - [Writing System-Level Invariants (WIP)](./program-analysis/medusa/docs/src/testing/writing-system-level-invariants.md)
-      - [Coverage Reports (WIP)](./program-analysis/medusa/docs/src/testing/coverage_reports.md)
+      - [Reporting](./program-analysis/medusa/docs/src/testing/reporting.md)
     - [API Overview (WIP)](./program-analysis/medusa/docs/src/api/api_overview.md)
     - [Cheatcodes](./program-analysis/medusa/docs/src/cheatcodes/cheatcodes_overview.md)
       - [warp](./program-analysis/medusa/docs/src/cheatcodes/warp.md)
@@ -144,10 +144,13 @@
       - [etch](./program-analysis/medusa/docs/src/cheatcodes/etch.md)
       - [deal](./program-analysis/medusa/docs/src/cheatcodes/deal.md)
       - [snapshot](./program-analysis/medusa/docs/src/cheatcodes/snapshot.md)
+      - [getCode](./program-analysis/medusa/docs/src/cheatcodes/get_code.md)
       - [getNonce](./program-analysis/medusa/docs/src/cheatcodes/get_nonce.md)
       - [setNonce](./program-analysis/medusa/docs/src/cheatcodes/set_nonce.md)
       - [coinbase](./program-analysis/medusa/docs/src/cheatcodes/coinbase.md)
       - [prank](./program-analysis/medusa/docs/src/cheatcodes/prank.md)
+      - [startPrank](./program-analysis/medusa/docs/src/cheatcodes/start_prank.md)
+      - [stopPrank](./program-analysis/medusa/docs/src/cheatcodes/stop_prank.md)
       - [prankHere](./program-analysis/medusa/docs/src/cheatcodes/prank_here.md)
       - [ffi](./program-analysis/medusa/docs/src/cheatcodes/ffi.md)
       - [addr](./program-analysis/medusa/docs/src/cheatcodes/addr.md)