With --only-deployed, only resolve addresses to deployed contracts

[msooseth]

Description

Note that NOT all addresses deployed are concrete addresses! e.g. origin is a symbolic deployed contract.

This code now works when passed --only-deployed:

// SPDX-License-Identifier: MIT
import {Test} from "forge-std/Test.sol";

contract Stuff {
  function myfun(uint a ) public pure returns (uint) {
    unchecked {
      return a * 2;
    }
  }
}

contract MyOnlyDeployed is Test {
  Stuff stuff;
  function setUp() public {
    stuff = new Stuff();
  }

  // cast keccak "myfun(uint256)"
  // 0xb2d71d6870ba4b4e58f932901330aa9aaf5e31a65a07d4c73632529167626820
  function prove_only_deployed(uint a, address addr) public {
    (, bytes memory ret) = addr.call(abi.encodeWithSelector(0xb2d71d68, a));
    uint x = abi.decode(ret, (uint));
    assert(x == a * 2);
  }
}

Without --only-deployed:

[RUNNING] prove_only_deployed(uint256,address)
   [FAIL] prove_only_deployed
   [WARNING] prove_only_deployed all branches reverted
   [WARNING] hevm was only able to partially explore the test prove_only_deployed due to:
      1x -> Unexpected symbolic arguments to opcode: CALL

With --only-deployed:

cabal run -f devel exe:hevm -- test --root tmp --match ".*only_deployed.*" --only-deployed
Checking 1 function(s) in contract src/contract-only-deployed-contracts.sol:MyOnlyDeployed
[RUNNING] prove_only_deployed(uint256,address)
   [PASS] prove_only_deployed

Needs much more love:

• test cases
• review
• testing
• changelog

Checklist

• tested locally
• added automated tests
• updated the docs
• updated the changelog

[blishko]

Looks good!
Just a few minor questions.