chore: add test case for storage bug (#25)

* chore: add test case for storage bug

* chore: add test case for loading from random account

* chore: fmt

Author: 0xgregthedev

src/test-cases/misc/AccessAssertionStorage.sol

@@ -0,0 +1,24 @@
+// SPDX-License-Identifier: UNLICENSED
+pragma solidity ^0.8.13;
+
+import {Assertion} from "../../Assertion.sol";
+import {PhEvm} from "../../PhEvm.sol";
+import {Target, TARGET} from "../common/Target.sol";
+
+contract TestAccessAssertionStorage is Assertion {
+    address public someAddress;
+
+    function accessAssertionStorage() external {
+        someAddress = address(this);
+    }
+
+    function triggers() external view override {
+        registerCallTrigger(this.accessAssertionStorage.selector);
+    }
+}
+
+contract TriggeringTx {
+    constructor() payable {
+        TARGET.incrementStorage();
+    }
+}

src/test-cases/precompiles/Load.sol

@@ -25,8 +25,13 @@ contract TestLoad is Assertion {
         require(TARGET.readStorage() == _loadCount(), "readStorage != postStateCount (switch)");
     }
 
+    function loadRandomAccount() external view {
+        require(ph.load(address(0x00000000000000000000000000000000001bd5a0), 0) == 0, "load(randomAccount) != 0");
+    }
+
     function triggers() external view override {
         registerCallTrigger(this.load.selector);
+        registerCallTrigger(this.loadRandomAccount.selector);
     }
 }